|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
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 and information flow by Eijck, Jan van. Ed | Eijck, Jan van. Ed | Visser, Albert. Ed. Series: Foundations of computingMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ.
|
|
|
|
|
|
|
|
|
|
|
|
|