Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Your search returned 37 results.

Results
	1.	No cover image available (Omega)-Bibliography of mathematical logic proof theory : constructive mathematics by Troelstra A S ;.ed Dalen Dirk van [ed.] Kister J E [ed.] Muller G H [ed.] Series: Perspectives in mathematical logic; v 6 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1987 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.5101 M958. Place hold Add to cart (remove)
	2.	No cover image available Mathematical intuitionism : introduction to proof theory by Dragalin A G Series: American Mathematical Society : Translations of mathematical monographs; v.67 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Providence AMS 1987 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510TM Am512. Place hold Add to cart (remove)
	3.	Proof theory an introduction by Pohlers Wolfram Series: Lecture notes in mathematics; v 1407 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 P748. Place hold Add to cart (remove)
	4.	No cover image available Proof and types by Lafont Yves [] Taylor Paul [] Series: Cambridge tracts in theoretical computer science; 7 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G518. Place hold Add to cart (remove)
	5.	Selected papers in proof theory by Mints Grigorii E Series: Studies in proof theory Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 M667. Place hold Add to cart (remove)
	6.	Proof and types by Girard Jean-Yves Taylor Paul [] Series: Cambridge tracts in theoretical computer science,7 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G518. Place hold Add to cart (remove)
	7.	No cover image available Logic of provability by Boolos George Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 1995 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B724. Place hold Add to cart (remove)
	8.	Arithmetic,proof theory and computational complexity by Clote Peter [ed.] Krajicek Jan [ed.] Series: Oxford logic guides,23 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta Clarendon Press 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 C646. Place hold Add to cart (remove)
	9.	Proof and computation by Schwichtenberg Helmut [ed.] Series: NATO ASI series F: Computer and Systems Sciences, vol.139 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1995 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sch415. Place hold Add to cart (remove)
	10.	Handbook of proof theory by Buss Samuel R [ed.] Series: Studies in logic and the foundations of mathematics; v 137 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Elsevier Science 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B981. Place hold Add to cart (remove)
	11.	Proof theory and automated deduction by Goubault-Larrecq Jean Mackie Ian [Auth.] Series: Applied logic series; v 6 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Dordrecht Kluwer Academic 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G688. Place hold Add to cart (remove)
	12.	Accompaniment to higher mathematics by Exner George R Series: Undergraduate texts in mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 1996 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Ex96. Place hold Add to cart (remove)
	13.	Power of interaction by Lund Carsten Series: ACM distinguished dissertations Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge MIT Press 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 L962. Place hold Add to cart (remove)
	14.	Provability, complexity, grammars by Beklemishev Lev Pentus Mati [Auth.] Vereshchagin Nikolai [Auth.] Series: AMS: translations series 2; v 192 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Providence AMS 1999 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510T Am512. Place hold Add to cart (remove)
	15.	Basic proof theory by Troelstra A S Schwichtenberg H [Auth.] Series: Cambridge tracts in theoretical computer science; 43 Edition: 2nd Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 2000 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 T843. Place hold Add to cart (remove)
	16.	Lectures on the Curry-Howard isomorphism by Sorensen Morten Heine Urzyczyn Pawel [Auth.] Series: Studies in logic and the foundations of mathematics; v 149 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Elsevier 2006 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.33 So713. Place hold Add to cart (remove)
	17.	Proof theory the first step into impredicativity by Pohlers Wolfram Series: Universitext Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 2009 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 P748. Place hold Add to cart (remove)
	18.	Proof theory for fuzzy logics by Gabbay Dov [ed.] Metcalfe George [ed.] Olivetti Nicola [ed.] Series: Applied logic series; v 36 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 2009 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.313 M588. Place hold Add to cart (remove)
	19.	Art of proof basic training for deeper mathematics by Beck Matthias Geoghegan Ross [Auth.] Series: Undergraduate texts in mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 2010 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B393. Place hold Add to cart (remove)
	20.	Hybrid logic and its proof-theory by Brauner Torben Series: Applied logic series; v 37 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London Springer-Verlag 2011 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B825. Place hold Add to cart (remove)

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 37 results.