|
|
|
Introduction to modern mathematics by Monjallon, Albert. Material type: Text;Language: English; Format:
print
Language: English Publication details: Oliver & Boyd Edinburgh 1967Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 16 Call number: 51 MON.
|
|
|
|
|
|
|
|
|
|
|
|
Grundzuge der theoretischen logik by Hilbert, D | Ackermann, W. Material type: Text;Language: ; Format:
print
Language: German Publication details: Berlin Springer-Verlag 1959Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HIL.
|
|
|
|
|
|
|
|
Principles of mathematical logic by Hilbert, D | Ackermann, W. Material type: Text;Language: English; Format:
print
Language: English Publication details: New York Chelsa Publishing Company 1950Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HIL.
|
|
|
|
A theory of formal deducibility by Curry, Haskell B. Series: Notre Dame mathematical lecturesMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Notre Dame University of Notre Dame Press 1950Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 CUR.
|
|
|
|
|
|
|
|
Quantification theory by Faris, J.A. Series: Monographs in modern logicMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: London Routledge & K. Paul 1964Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 FAR.
|
|
|
|
|
|
|
|
|
|
|
|
Lectures on Linear Logic by Troelstra, A S. Series: CSLI Lecture Notes, 29Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: USA ; Center for the study of language and information ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 9 Call number: 510.6 TRO.
|
|
|
|
Mathematical logic by Ebbinghaus, H.D | Flum, J | Thomas, W. Series: Undergraduate texts in mathematicsMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York Springer-Verlag 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EBB.
|
|
|
|
Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff. by Müller, G. H | Oberschelp, Arnold | Potthoff, Karl. Series: Lecture notes in mathematics (Springer-Verlag) ; 499.Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: engfre Publication details: Berlin ; New York : Springer-Verlag, 1975Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 34 Call number: 51 LNM.
|
|
|
|
Logic for Applications by Nerode, Anil | Shore, Richard A. Series: Texts and Monographs in Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 46 Call number: 681.3.06 NER.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Collected Works of J.Richard Buchi by Buchi, J. Richard | Mac Lane, Saunders, Ed | Siefkes, Dirk, Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 12, Shelf No: 4 Call number: 51(081) BUC.
|