|
|
181.
|
MATHEMATICAL LOGIC
by Abbinghaus, Heinz-Dieter | Thomas, Wolfgang. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: ix,216.Publisher: New York Springer-Verlag 1984Availability: No items available Checked out (1).
|
|
|
182.
|
A MATHEMATICAL INTRODUCTION TO LOGIC
by Enderton, Herbert B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,295.Publisher: New York Academic Press 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 En21m] (1).
|
|
|
183.
|
ALGEBRAIC LOGIC
by Gindikin, S. G | Silverman, Robert H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,356.Publisher: New York Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G431aE] (1).
|
|
|
184.
|
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).
|
|
|
185.
|
COMBINATORS, TERMS AND PROOF THEORY
by Stenlund, Soren. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 184.Publisher: Dordrecht D. Reidel 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.6 St42c] (1).
|
|
|
186.
|
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).
|
|
|
187.
|
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).
|
|
|
188.
|
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).
|
|
|
189.
|
DEGREES OF UNSOLVABILITY
by Lerman, Manuel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).
|
|
|
190.
|
UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS
by Lewis, Harry R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,198.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L586u] (1).
|
|
|
191.
|
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).
|
|
|
192.
|
DEGREES OF UNSOLVABILITY
by Lerman, Manuel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).
|
|
|
193.
|
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).
|
|
|
194.
|
INTERNATIONAL MATHEMATICS
by Shapiro, Stewart [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 230p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 In8] (1).
|
|
|
195.
|
HANDBOOK OF MATHEMATICAL LOGIC
by Barwise, Jon [ed.]. Material type: Book; Literary form: Description: 1165p.Publisher: Amsterdam North Holland 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.37 H191] (1).
|
|
|
196.
|
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).
|
|
|
197.
|
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).
|
|
|
198.
|
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).
|
|
|
199.
|
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).
|
|
|
200.
|
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).
|
