|
|
|
Oxford handbook of Philosophy of mathematics and logic by Shapiro, Stewart Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Oxford ; Oxford University press ; 2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 2 Call number: 510(02) SHA.
|
|
|
|
Advances in modal logic: volume 3 by Wolter, Frank [et al] Eds. Material type: Text;Language: ; Format:
print
Publication details: Stanford, Calif. ; CSLI Publications ; c1998-<c2002 >Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WOL.
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
Saturated model theory by Sacks, Gerald E. Edition: 2Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New jersey ; World scientific ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 8 Call number: 510.6 SAC.
|
|
|
|
Communication complexity A new approach to circuit depth by Karchmer, Mauricio. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: London ; MIT Press ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 29 Call number: 681.3.04 KAR.
|
|
|
|
Logical leap Induction in physics by Harriman, David. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; New American library ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 10 Call number: 53 HAR.
|
|
|
|
Alan Turing's systems of logic The princeton thesis by Appel, Andrew W. Ed. Material type: Text Publication details: New Jersey Princeton university press 2012Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 37 Call number: 681.3 APP.
|
|
|
|
Models of Peano arithmetic by Kaye, Richard. Series: Oxford logic series ; 00015Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Oxford university press ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 KAYE.
|
|
|
|
|
|
|
|
Tour through mathematical logic by Wolf, Robert S. Series: The carus mathematical monographs; 00030Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Washington ; Mathematical association of America ; 2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 10 Call number: 510.6 WOLF.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic by Hodges, Wilfrid. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New york ; Penguin books ; 1977Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 HOD.
|