|
|
|
|
|
|
|
Mathematical logic in the 20th century by Sacks, Gerald E. Material type: Text;Language: ; Format:
print
Publication details: Singapore ; Singapore University Press: World Scientific, ; c2003Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAC.
|
|
|
|
Collected works of A M Turing : Mathematical logic by Gandy, R O | Yates, C E M Eds. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Amsterdam ; NH ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 15, Shelf No: 3 Call number: 51(081) TUR.
|
|
|
|
Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings by Gottlob, Georg | Leitsch, Alexander | Mundici, Daniele Eds. Series: Lecture notes in computer science ; 01289Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 19 Call number: 681 LNCS.
|
|
|
|
Logic and structure by Dalen, D. van, (Dirk), 1932-. Series: UniversitextEdition: 4th ed.Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin, New York : ; Springer-Verlag ; c2004Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DAL.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Self-similar groups by Nekrashevych, Volodymyr. Series: Mathematical surveys and monographs ; 00117Material type: Text;Language: ; Format:
print
Publication details: Providence, RI ; American Mathematical Society ; 2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 29, Shelf No: 11 Call number: 512 NEK.
|
|
|
|
|
|
|
|
How to prove it structured approach by Velleman, Daniel J. Edition: 2Material type: Text;Language: ; Format:
print
Publication details: Cambridge ; Cambridge University ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 VEL.
|
|
|
|
|
|
|
|
Introduction to practical formal methods using temporal logic by Fisher, Michael. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Wiley ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FIS.
|
|
|
|
Elements of logical reasoning by Plato Jan Von. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge ; CUP ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 33 Call number: 530.12 PLA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Symposium on Automatic Demonstration [electronic resource] : Held at Versailles/France, December 1968 / edited by M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger. by Laudet, M [editor.] | Lacombe, D [editor.] | Nolin, L [editor.] | Schützenberger, M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Mathematics ; 125Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1970Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|