|
|
41.
|
Pure logic and other minor works
by Jevons, W. Stanley | Adamson, Robert [ed.] | Jevons, Harriet [ed.]. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 299p.Publisher: London Macmillan 1890Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 J539P] (1).
|
|
|
42.
|
JAN LUKASIEWICZ
by L. Borkowski,No | Borkowski,L. Material type: Book Description: xii,405.Publisher: North-Holland, Amsterdam c1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 L968SW] (1).
|
|
|
44.
|
An introduction to mathematical logic
by Robison, Gerson B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 212p.Publisher: New Jersey Prentice-Hall 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 R562i] (1).
|
|
|
45.
|
Logic programming
: functions, relations, and equations
by DeGroot, Doug | Lindstrom, Gary. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 533p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 D365l] (1).
|
|
|
46.
|
FOUNDATIONS
by Ramsey, F. P | Mellor, D. H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,287.Publisher: London Routledge & Kegan Paul 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 R149f] (1).
|
|
|
47.
|
SYMBOLIC LOGIC
by Thompson, Richmond H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,367.Publisher: New York Macmillan 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T377s] (1).
|
|
|
48.
|
INFINITY AND THE MIND
by Rucker, Rudy. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,342.Publisher: Boston Birkhauser 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.3 R828i] (1).
|
|
|
49.
|
MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE
by Kueker, David W | Smith, Carl H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,383.Publisher: New York Marcel Dekker 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M42] (1).
|
|
|
50.
|
FROM MATHEMATICS TO PHILOSOPHY
by Hao, Wang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,428.Publisher: London Routledge & Kegan Paul 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H199f] (1).
|
|
|
51.
|
FORMAL NUMBER THEORY AND COMPUTABILITY
by Fisher, Alec. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,190.Publisher: Oxford Clarendon 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F531f] (1).
|
|
|
52.
|
PHILOSOPHICAL AND MATHEMATICAL CORRESPONDENCE
by Frege, Gottlob | Gabriel, Gottfried. Edition: Abridged Eng.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,214.Publisher: Oxford Basil Blackwell 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F88wE] (1).
|
|
|
53.
|
PHILOSOPHICAL AND MATHEMATICAL CORRESPONDENCE
by Frege, Gottlob | Gabriel, Gottfried. Edition: Abridged Eng.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,214.Publisher: Oxford Basil Blackwell 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F88wE] (1).
|
|
|
54.
|
PROGRAMMING LOGIC
by Constable, Robert L | O'Donnell, Michael J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,389.Publisher: Cambridge Winthrop Pub. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C765p] (1).
|
|
|
55.
|
NATURAL LANGUAGE COMMUNICATION WITH PICTORIAL INFORMATION SYSTEMS
by Bolc, Leonard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,327.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.51 N219] (1).
|
|
|
56.
|
NATURAL LANGUAGE COMMUNICATION WITH PICTORIAL INFORMATION SYSTEMS
by Bolc, Leonard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,327.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.51 N219] (1).
|
|
|
57.
|
An introduction to mathematical logic and type theory: to truth through proof
by Andrews, Peter B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 304p.Publisher: Orlando Academic Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 An27i] (1).
|
|
|
58.
|
AN ALGEBRAIC INTRODUCTION TO MATHEMATICAL LOGIC
by Barnes, Donald W | Mack, John M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 121.Publisher: New York Springer-Verlag 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B261a] (1).
|
|
|
59.
|
Symbolic logic and mechanical theorem proving
by Chang, Chin-Liang | Lee, Richard Char-Tung. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 331.Publisher: N. Y. Academic Press 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 C362] (2).
|
|
|
60.
|
A COURSE IN MATHEMATICAL LOGIC
by Bell, John Lane | Machover, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,599.Publisher: Amsterdam North-Holland 1977Availability: No items available Checked out (1).
|
