|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computational Logic and Proof Theory : Third Kurt Godel colloquium, KGC,93, Brno, Czech Republic, August 1993, Proceedings by Gottlob, Georg | Leitsch, A | Mundici, D. Series: Lecture notes in computer science ; 00713Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.
|
|
|
|
|
|
|
|
Basic Proof Theory by Troelstra, A S | Schwichtenberg, H. Series: Cambridge Tracts in Theoretical Computer Science, V. 43Edition: 1st & 2ndMaterial type: Text;Language: ; Format:
print
Publication details: Cambridge ; CUP ; 1996, 2000Availability: Items available for loan: IMSc Library (3). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 TRO.
|
|
|
|
Proof theory and automated deduction by Goubault-Larrecq, Jean | Mackie, Ian. Series: Applied logic seriesMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Boston Kluwer Academic 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GOU.
|
|
|
|
|
|
|
|
Handbook of Proof Theory : (SL 137) by Buss, Samuel R. Ed. Series: Studies in Logic, 137Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; Elsevier ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BUSS.
|
|
|
|
|
|
|
|
Conjecture and proof by Laczkovich, Miklos. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Washington, DC ; Mathematical Association of America ; c2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 29 Call number: 511 LAC.
|
|
|
|
Nuts and bolts of proofs by Cupillari, Antonella. Edition: 3rd ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Amsterdam, Boston : ; Elsevier Academic ; c2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 34, Shelf No:41 Call number: 519.17 CUP.
|
|
|
|
|
|
|
|
|
|
|
|
Memoirs of a Proof Theorist : Gödel and other logicians by Takeuti, Gaisi | Yasugi, Mariko (Trans.) | Passell, Nicholas (Trans.). Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: London : World Scientific, 2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 43 Call number: 511.3 TAK.
|
|
|
|
|
|
|
|
The story of proof : logic and the history of mathematics by Stillwell, John. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Other title: Logic and the history of mathematics.Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 34 Call number: 51 STI.
|