Your search returned 11 results.

Not what you expected? Check for suggestions
BOOKS
Selected topics in algebra and its interrelations with logic,Number theory and algebraic geometry

by Bucur, Ionel.

Series: Mathematics & its Applications SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Reidel ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 48 Call number: 512 BUC.

BOOKS
Algebraic and Logic Programming Proceedings, Int.Workshop, Gaussig, GDR, 1988

by Grabowski, J. Ed | Lescanne, P. Ed | Wechler, W. Ed.

Series: Lecture notes in computer science ; 00343Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS.

BOOKS
Algebraic Logic and Universal Algebra in Computer Science Proceedings, Conference, Ames, Iowa, USA, 1988

by Bergman, C H. Ed | Maddux, R D. Ed | Pigozzi, D L. Ed.

Series: Lecture notes in computer science ; 00425Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 10 Call number: 681 LNCS.

BOOKS
Algebraic and Logic Programming Proceedings, Second Int. Conf. Nancy, France, 1990

by Kirchner, H. Ed | Wechler, W. Ed.

Series: Lecture notes in computer science ; 00463Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 12 Call number: 681 LNCS.

BOOKS
Algebraic Logic

by Gindikin, S G.

Series: Problem Books in MathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1985Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GIN.

BOOKS
Network Algebra

by Stefanescu, Gheorghe.

Series: Discrete Mathematics and Theoretical Computer SciencesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 20 Call number: 681.3 STE.

BOOKS
Logic and Algebra

by Ursini, Aldo. Ed | Agliano, Paolo. Ed.

Series: Lecture notes in pure and applied mathematics ; 00180Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Marcel Dekker ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 15 Call number: 512 URS.

BOOKS
Algebraic methods in philosophical logic

by Dunn, J. Michael | Hardegree, Gary M.

Series: Oxford logic guides; 41Material type: Text Text;Language: ; Format: print Publication details: Oxford ; Oxford University Press ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DUN.

E-BOOKS
Logic and its applications : [electronic resource] International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan / Andreas Blass, Yi Zhang, editors.

by International Conference on Logic and Its Applications in Algebra and Geometry (2003 : University of Michigan) | Blass, Andreas, 1947- | Zhang, Yi, 1964 August 22- | Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture (2003 : University of Michigan).

Series: Contemporary mathematics (American Mathematical Society) ; v. 380.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2005Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Algebraizable logics / [electronic resource] W.J. Blok and Don Pigozzi.

by Blok, W. J, 1947- | Pigozzi, Don, 1935-.

Series: Memoirs of the American Mathematical Society ; no. 396.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I., USA : American Mathematical Society, c1989Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Semigroups underlying first-order logic / [electronic resource] William Craig.

by Craig, William, 1918-.

Series: Memoirs of the American Mathematical Society ; v. 866Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 2006Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha