|
|
|
|
Handbook of Model Checking by Clarke, Edmund M | Bloem, Roderick | Henzinger, Thomas A | Veith, Helmut. Edition: 1st ed. 2018.Material type:  Text;Language: English; Literary form:
Not fiction
Language: English Publication details: Switzerland Springer Nature 2018Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical logic A course with exercises by Cori, Rene | Lascar, Daniel. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Oxford New York Oxford University Press 2000Availability: No items available : Checked out (1).
|
|
|
|
|
|
|
|
|
|
Mathematics for computation (M4C) by Benini, Marco | Beyersdorff, Olaf | Rathjen, Michael | Schuster, Peter. Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New Jersey World Scientific 2023Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 33 Call number: 681.3.06 BEN.
|
|
|
|
|
Tropical Circuit Complexity by Jukna, Stasys. ;Language: English Language: English Publication details: Cham Springer 2023Availability: Items available for loan: IMSc Library (1). Location(s): First floor, Rack No. 36, Shelf No. 12 Call number: 519.852 JUK.
|
|
|
|
|
Logic for Mathematicians by Hamilton, A. G. ;Language: English Language: English Publication details: Cambridge Cambridge University Press 1988Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 42 Call number: 510.2 HAM.
|
|
|
|
|
Mathematical Logic by Ebbinghaus, Heinz-Dieter | Thomas, Wolfgang | Flum, Jörg. Series: Graduate Texts in Mathematics ; 291Edition: 3rd edMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York Springer 2021Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 42 Call number: 510.2 EBB.
|
