Results of search for 'ccl=su:{Logic} and su-to:LOGIC, SYMBOLIC AND MATHEMATICAL' › RKMVERI, BELUR MATH, CENTRAL LIBRARY catalog

Results
		No cover image available Decision procedures : an algorithmic point of view by Daniel Kroening \| Ofer Strichman. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2008Availability: Items available for loan: Central Library (1)Call number: 004.015181 KRO(DEC). Place hold
		No cover image available Logic for computer scientists by Uwe Schoning. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Birkhauser-Boston 2008Availability: Items available for loan: Central Library (1)Call number: 004.015113 SCH(LOG). Place hold
		Logic, sets, and recursion by Robert L. Causey. Edition: Second EditionMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bartlett India, New Delhi. 2010Availability: Items available for loan: Central Library (1)Call number: 511.3 CAU(LOG). Place hold
		Semantics and logics of computation by A. Pitts (ed.) \| P. Dybjer (ed.). Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 1997Availability: Items available for loan: Central Library (1)Call number: 004.015113 SEM. Place hold
		Delta: a paradox logic by N. S. K. Hellerstein. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: World Scientific Pub.Co.Ltd. 1997Availability: Items available for loan: Central Library (1)Call number: 511.3 HEL(DEL). Place hold
		Nonstandard logics and nonstandard metrics in physics by William M. Honig. Series: K & E series on knots and everything, volume 10Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: World Scientific, 1995Availability: Items available for loan: Central Library (1)Call number: 530.15 HON(NON). Place hold
		Descriptive complexity by Neil Immerman. Series: Graduate texts in computer scienceEdition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c1999Availability: Items available for loan: Central Library (1)Call number: 004.015113 IMM(DES). Place hold
		Introduction to Mathematical logic by Elliott Mendelson. Series: Discrete mathematics and its applicationsEdition: 5th ed.Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press Taylor and Francis Group c2010Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004.015113 MEN(INT).
		Discrete structures, logic and computability by James L. Hein. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bratlett Pub. 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS). Place hold
		Introduction to Mathematical logic by Elliott Mendelson. Series: Discrete mathematics and its applicationsEdition: 5th ed.Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: CRC Press Taylor and Francis Group c2010Availability: Not available: Central Library: Checked out (1). Place hold
		Proof and disproof in formal logic: an introduction for programme by Richard Bornat. Series: Oxford texts in logic 2Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press C2005Availability: Items available for loan: Central Library (1)Call number: 004.015113 BOR(PRO). Place hold
		A first course in logic: an introduction to model theory, proof theory, computability, and complexity by Shawn Hedman. Series: Oxford texts in logic 1Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford University Press c2004Availability: Items available for loan: Central Library (1)Call number: 004.015113 HED(FIR). Place hold
		Games, puzzles, and computation by Robert A. Hearn \| Erik D. Demaine. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: A. K. Peters Ltd. c2009Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEA(GAM). Place hold
		Institution – independent model theory by Razvan Diaconescu. Series: Studies in universal logicEdition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Birkhauser c2008Availability: Items available for loan: Central Library (1)Call number: 511.34 DIA(INS). Place hold
		Logical Labyrinths by Raymond M. Smullyan. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: A K Peters c2009Availability: Items available for loan: Central Library (1)Call number: 004.015113 SMU(LOG). Place hold
		Grammatical inference: learning automata and grammars by Colin de la Higuera. Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 2010Availability: Items available for loan: Central Library (1)Call number: 005.131 HIG(GRA). Place hold
		A course in mathematical logic for mathematicians by Yu. I. Manin. Series: Graduate texts in mathematics, 53Edition: Second EditionMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2010Availability: Items available for reference: Central Library: Not for loan (1)Call number: 511.3 MAN(COU).
		On group-theoretic decision problems and their classification by Charles F. Miller, III. Series: Annals of mathematics studies, 68Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Princeton University Press, 1971Availability: Items available for loan: Central Library (1)Call number: 514.3-MIL/ON. Place hold
		A course on mathematical logic by S. M. Srivastava. Series: UniversitextMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2008Availability: Items available for loan: Central Library (1)Call number: 511.3 SRI(COU). Place hold
		A course on mathematical logic by S. M. Srivastava. Series: UniversitextMaterial type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, New York. 2008Availability: Not available: Central Library: Checked out (1). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 72 results.