|
|
161.
|
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).
|
|
|
162.
|
Logical dynamics of information and interaction
by Benthem, Johan Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 373p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B445l] (1).
|
|
|
163.
|
Resolution proof systems
: an algebraic theory
by Stachniak, Zbigniew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 206p.Publisher: Dordrecht Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St12r] (1).
|
|
|
164.
|
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).
|
|
|
165.
|
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).
|
|
|
166.
|
Logic and structure
by Dalen, Dirk Van. Edition: 5thMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: x, 263p.Publisher: London Springer 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D156l5] (1).
|
|
|
167.
|
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).
|
|
|
168.
|
Elements of logical reasoning
by Plato, Jan Von. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 264p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P697e] (1).
|
|
|
169.
|
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).
|
|
|
170.
|
LOGIC AND KNOWLEDGE
by Russell, Bertr | Russell. Edition: 3d earlMaterial type: Book Description: 382.Publisher: London Allen & Unwin 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192.9 R91L] (1).
|
|
|
171.
|
Philosophical investigations
by Wittgenstein, Ludwig | Anscombe, G. E. M [tr.]. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 272p.Publisher: New York Macmillan 1953Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 193.9 W78pE] (1).
|
|
|
172.
|
PHILOSOPHICAL INVESTIGATIONS
by Wittgenstein, Ludwig | Anscombe, G. E. M. Edition: 3rdMaterial type: Book Description: 272.Publisher: New York Macmillan c1953Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 193.9 W78pE3] (1).
|
|
|
173.
|
LOGIC AND KNOWLEDGE
by Russell, Bertr | Russell. Edition: 3d earlMaterial type: Book Description: 382.Publisher: London Allen & Unwin 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192.9 R91L] (1).
|
|
|
174.
|
LOGIC AND KNOWLEDGE
by Russell, Bertr | Russell. Edition: 3d earlMaterial type: Book Description: 382.Publisher: London Allen & Unwin 1956Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192.9 R91L] (1).
|
|
|
175.
|
AN INTRODUCTION TO TRANSFORMATIONAL GRAMMARS
by Bach, Emmon W. Material type: Book Description: 205.Publisher: New York Holt, Rinehart And Winston 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.18 B122i] (1).
|
|
|
176.
|
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).
|
|
|
177.
|
SET THEORY AND THE CONTINUUM HYPOTHESIS
by Cohen, Paul J. Material type: Book Description: 154.Publisher: New York W. A. Benjamin c1966Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 510 C66s] (1).
|
|
|
178.
|
The two valued iterative systems of mathematical logic
by Post, Emil L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 122p.Publisher: Princeton Princeton University Press 1941Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510 An72] (1).
|
|
|
179.
|
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).
|
|
|
180.
|
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).
|
