|
41.
|
The mathematics of logic
by Kaye, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 204p.Publisher: Cambridge Cambridge University Press 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K182m] (1).
|
|
42.
|
Introduction to mathematical logic
by Mendelson, Elliott. Edition: 5thMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv, 469p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M522i5] (1).
|
|
43.
|
After Godel
: Platonism and rationalism in mathematics and logic
by Tieszen, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 245p.Publisher: Oxford Oxford University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3092 T445a] (1).
|
|
44.
|
Graph structure and monadic second-order logic
: a language-theoretic approach
by Courcelle, Bruno | Engelfriet, Joost. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 728p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C833g] (1).
|
|
45.
|
Handbook of mathematical induction
: theory and applications
by Gunderson, David S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 893p.Publisher: Boca Raton Crc Press 2011Availability: No items available Checked out (1).
|
|
46.
|
Logical foundations of mathematics and computational complexity
: a gentle introduction
by Pudlak, Pavel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 695p.Publisher: Cham Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P962l] (1).
|
|
47.
|
Sets, models and recursion theory
: proceedings...
by Crossley, John N [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 340p.Publisher: Amsterdam North-Holland Publishing 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 Su 64s] (2).
|
|
48.
|
FOUNDATIONS OF MATHEMATICS AND OTHER LOGICAL ESSAYS
by Ramsey, Frank Plumpton | Braithwaite, R. B. Material type: Book Description: 292.Publisher: London K. Paul And Routledge 1931Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 R14] (1).
|
|
49.
|
LANGUAGE, LOGIC, AND MATHEMATICS
by Kilmister, Clive William. Material type: Book Description: 124.Publisher: New York Barnes & Noble c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 K558L] (1).
|
|
50.
|
LES PRINCIPES DER MATHEMATIQUES
by Couturat, Louis. Material type: Book Description: 310.Publisher: Hildesheim Georg Olms Verlags-Buchhandlung 1965Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 C837p] (1).
|
|
51.
|
FROM FREGE TO GODEL
by . Material type: Book Description: x,660.Publisher: Cambridge Harvard University Press c1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.01 V312f] (1).
|
|
52.
|
A primer of formal logic
by Cooley, John Cleveland. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 378p.Publisher: New York The Macmillan Company 1942Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 C77p] (1).
|
|
53.
|
THE SEARCH FOR TRUTH
by Bell, Eric Temple. Material type: Book Description: 293.Publisher: N. Y. Reynal Hitchcock 1935Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 B41s] (1).
|
|
54.
|
LA CRISE DE LA RAISON LA LOGIQUE
by CONFERENCE, LA CRISE DE LA RAISON LA LOGIQUE SORBONNE AU MARCH 29 TO APRIL 7, 1954 | Beth, Evert Willem, ed. Material type: Book Description: 50p.Publisher: Paris Gauthier-Villars c1957Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 B46c] (1).
|
|
55.
|
INTRODUCTION TO MATHEMATICAL LOGIC
by Mendelson, Elliott. Material type: Book Description: 300.Publisher: Princeton, N. J. Van Nostrand 1964Availability: No items available Withdrawn (1).
|
|
56.
|
The elements of mathematical logic
by Rosenbloom, Paul C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: iv, 214p.Publisher: New York Dover Publications 1950Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 R72E] (1).
|
|
57.
|
Elements of mathematical logic
by Novikov, P. S | Boron, Leo F. [tr.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 296p.Publisher: London Oliver & Boyd 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 N858EE] (1).
|
|
58.
|
Non-standard analysis
by Robinson, Abraham. Edition: Rev. ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 293p.Publisher: Nre Jersey Princeton University Press 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 SZ9 V.37] (1).
|
|
59.
|
ETUDE LOGIQUE DES CIRCUITS ELECTRIQUES ET DES SYSTEMES BINAIRES
by Higonnet, Rene | Grea, R. Material type: Book Description: 452.Publisher: Paris Berger-Levrault c1955Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.31 H53e] (1).
|
|
60.
|
Logic in elementary mathematics
by Exner, Robert M | Rosskopf, Myron F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 274p.Publisher: New York Mcgraw- Hill 1959Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 Ex65l] (1).
|