|
|
61.
|
COLLECTED WORKS
by Godel, Kurt | Feferman, Solomon. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: New York Oup 1986Availability: No items available Withdrawn (1).
|
|
|
62.
|
LOGIC AND STRUCTURE
by Dalen, Dirk Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,172.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D152] (1).
|
|
|
63.
|
LOGIC AND STRUCTURE
by Dalen, Dirk Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,172.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D152] (1).
|
|
|
64.
|
HANDBOOK OF MATHEMATICAL LOGIC
by Barwise, Jon. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,1165.Publisher: Amsterdam North-Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H191] (1).
|
|
|
65.
|
THE L.D.J. BROUWER CENTENARY SYMPOSIUM
by Troelstra, A. S | Dalen, D. Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,523.Publisher: Amsterdam North-Holland Pub. Company 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L968] (1).
|
|
|
66.
|
INTRODUCTION TO MATHEMATICAL LOGIC
by Malitz, Jerome. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,198.Publisher: New York Springer-Verlag 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M295i] (1).
|
|
|
67.
|
DISCRETE AND SWITCHING FUNCTIONS
by Davio, Marc | Thayse, Andre. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,729.Publisher: St-Saphorin Georgi Pub. Co. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.33 D289d] (1).
|
|
|
68.
|
DISCRETE AND SWITCHING FUNCTIONS
by Davio, Marc | Thayse, Andre. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,729.Publisher: St-Saphorin Georgi Pub. Co. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.33 D289d] (1).
|
|
|
69.
|
COMPLETENESS COMPACTNESS AND UNDECIDABILITY
by Manaster, Alfred B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 154.Publisher: Englewood Cliiffs Prentice-Hall 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M311c] (1).
|
|
|
70.
|
A COURSE IN MATHEMATICAL LOGIC
by Manin, Yu. I | Koblitz, Neal. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 286.Publisher: New York Springer-Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M314c] (1).
|
|
|
71.
|
POPULAR LECTURES ON MATHEMATICAL LOGIC
by Wang, Hao. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,273.Publisher: New York Van Nostrand Reinhold 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 W184p] (1).
|
|
|
72.
|
FOUNDATIONS OF THE LOGICAL THEORY OF SCIENTIFIC KNOWLEDGE (COMPLEX LOGIC)
by Zinov'Ev, A. A | Blakeley, T. J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,300.Publisher: Dordrecht Reidel 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Z66oE] (1).
|
|
|
73.
|
DICTIONARY OG LOGICAL TERMS AND SYMBOLS
by Greenstein, Carol Horn. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,188.Publisher: New York Van Nostrand 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.303 G854d] (1).
|
|
|
74.
|
MATHEMATICAL FOUNDATIONS OF PROGRAMMING
by Backman, Frank S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,443.Publisher: Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B389m] (1).
|
|
|
75.
|
MATHEMATICAL FOUNDATIONS OF PROGRAMMING
by Backman, Frank S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,443.Publisher: Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B389m] (1).
|
|
|
76.
|
Mathematical foundations of programming
by Beckman, Frank S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,443p.Publisher: Reading, Massachusetts Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B389m] (1).
|
|
|
77.
|
LOGIC FOR PROBLEM SOLVING
by Kowalski, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 287.Publisher: New York North-Holland 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 K849L] (1).
|
|
|
78.
|
THE LOGICAL BASIS FOR COMPUTER PROGRAMMING
by Manna, Zohar | Waldinger, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 M315L] (1).
|
|
|
79.
|
EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
by O'Donnell, Michael J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 297.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob5e] (1).
|
|
|
80.
|
Temporal logic of programs
by Kroger, Fred. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 148p.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K914t] (1).
|
