Results of search for 'su:"Proof theory"' › JRD Tata Memorial Library catalog

Results
	1.	Proof theory an introduction by Wolfram Pohlers by Pohlers, Wolfram Series: Lecture notes in mathematics V.1407 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N894. Place hold
	2.	CSI '88. by Workshop on computer science logic. ( Duisburg, FRG : 1988 ) Series: Lecture notes in computer science ; no.385 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.0285 N89.
	3.	Logic of partial information by areski Nait Abdallah by Abdallah, Areski Nait Series: Monographs in theoretical computer science-An EATCS Series Material type: Book Publication details: Berlin Springer-verlag 1995 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N951. Place hold
	4.	Logic and proof by Marvin L. Bittinger, by Bittinger, Marvin L Material type: Book Publication details: Massachusetts Addison-Wesley Pub.C 1970 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N70;2.
	5.	Proof theory and intuitionistic systems /by Bruno Scarpellini by Scarpellini, Bruno Series: Lecture Notes in Mathematics Material type: Book Publication details: Berlin S-V 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N714.
	6.	No cover image available Truth functions and the problem of their realization by two-terminal graphs by A. Adam by Adam, A Material type: Book Publication details: Hungary Akademiai Kiado 1968 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N682.
	7.	No cover image available Proceedings of the summer conference at ... ed. by A. Kino, J. Myhill and R.E. Vesley by Kino. A., ed Myhill, J., ed Vesley, R.E., ed Intutionism and Proof Theory Series: Studies in Logic and the Foundation of Mathematics Material type: Book Publication details: Amsterdam North-Holland 1970 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N70.
	8.	No cover image available Proceedings of the summer conference at... ed. by A. Kino, J. Myhill and R.E. Vesley by Kino. A., ed Myhill, J., ed Vesley, R.E., ed Intutionism and Proof Theory Series: Studies in Logic and the Foundation of Mathematics Material type: Book Publication details: Amsterdam North-Holland 1970 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N70;1.
	9.	Proceedings of the second scandinavian logic symposium ed. by J.E. Fenstad by Fenstad, J.E Second Scandinavian Logic Symposium Series: Studies in Logic and the Foundations of Mathematics ; V.63 Material type: Book Publication details: Amsterdam North-Holland Pub.Co 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N71.
	10.	Accompaniment to higher mathematics by George R. Exner by Exner, George R Series: Undergraduate Texts in Mathematics Material type: Book Publication details: New York Springer-Verlag 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N961. Place hold
	11.	Course in mathematical logic by Yu. I. Manin, tr.from Neal Koblitz, by Manin, Yu. I Koblitz, Neal Series: Graduate texts in mathematics ; V.53 Material type: Book Publication details: New-york Springer Verlag 1977 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N772;1. Place hold
	12.	Introduction to mathematical reasoning Numbers, sets and functions by Peter J Eccles by Eccles, Peter J Material type: Book Publication details: Cambridge Cambridge Univ.Press 1997 Availability: Items available for reference: Electrical Engineering: Not for loan (1)Call number: 511.3 N97.
	13.	Proofs from the book by Martin Aigner, Gunter M Ziegler by Aigner, Martin Ziegler, Gunter M Material type: Book Publication details: Berlin S-V 1998 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N981. Place hold
	14.	Proofs from the book by Martin Aigner and Gunter M Ziegler by Aigner, Martin Ziegler, Gunter M Edition: 3rd ed Material type: Book Publication details: Berlin Springer-Verlag 2004 Availability: Items available for loan: Mathematics (1)Call number: 511.3 P04. Place hold
	15.	Conjecture and proof, by Miklos Laczkovich by Laczkovich, Miklos Series: Classroom resource materials Material type: Book Publication details: Washington,DC Mathematical Association of America 2001 Availability: Items available for loan: Mathematics (1)Call number: 511.13 P01. Place hold
	16.	Logic for Concurrency and Synchronisation by de Queiroz, Ruy J. G. B Material type: Book Publication details: Kluwer Academic Publishers 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 . Place hold
	17.	Proof, Logic & Formalization by Detlefsen, Michael Material type: Book Publication details: Routledge 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: . Place hold
	18.	Logic for Concurrency and Synchronisation by de Queiroz, Ruy J. G. B Material type: Book Publication details: Kluwer Academic Publishers 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 . Place hold
	19.	Proof, Logic & Formalization by Detlefsen, Michael Material type: Book Publication details: Routledge 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: . Place hold
	20.	No cover image available ?ISILC Proof Theory Symposion ed by Justus Diller and Gert H. Mॱller by Diller, Justus ed Mॱller, Gert H ed Series: Lecture Notes in Computer Science Material type: Book Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 . Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 42 results.