|
|
121.
|
Logic techniques of formal reasoning
by Kalish, Donald | Montague, Richard. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: x, 350p.Publisher: New York Harcourt, Brace & World 1964Availability: No items available Withdrawn (2).
|
|
|
122.
|
LOGIC AND KNOWLEDGE
: SELECTED PAPERS
by Mackie, John Leslie | Mackie, Penelope. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 248p.Publisher: Oxford Clarendon Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121 M211L] (1).
|
|
|
123.
|
DIGITAL CIRCUITS AND LOGIC DESIGN
by Lee, Samuel C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 594p.Publisher: New Delhi Prentice-Hall 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38195835 L515d] (1).
|
|
|
124.
|
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).
|
|
|
125.
|
DECISION TABLES
by Montalbano, Michael. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 191.Publisher: Chicago Science Research Associates 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.4032 M761d] (1).
|
|
|
126.
|
COGITATIONS
by Katz, Jerrold J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 206.Publisher: New York Oup 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 111 K159c] (1).
|
|
|
127.
|
Graph algorithms
by Even, Shimon. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Computer Science Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.5 Ev23g] (4).
|
|
|
128.
|
ALGEBRA OF PROOFS
by Szabe, M. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1).
|
|
|
129.
|
ALGEBRA OF PROOFS
by Szabe, M. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,297.Publisher: Amsterdam North-Holland Pub. Co. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sz12a] (1).
|
|
|
130.
|
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).
|
|
|
131.
|
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).
|
|
|
132.
|
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).
|
|
|
133.
|
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).
|
|
|
134.
|
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).
|
|
|
135.
|
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).
|
|
|
136.
|
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).
|
|
|
137.
|
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).
|
|
|
138.
|
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).
|
|
|
139.
|
MEANING AND MODALITY
by Lewy, Casimir. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,159.Publisher: Cambridge University 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121 L59m] (1).
|
|
|
140.
|
HUSSERL AND INTENTIONALITY
by Smith, David Woodruff | Mcintyre, Ronald. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii,423.Publisher: Dordrecht D. Reidel 1982Availability: No items available Checked out (1).
|
