Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 1149 results. Subscribe to this search

|
181. MATHEMATICAL LOGIC

by Abbinghaus, Heinz-Dieter | Thomas, Wolfgang.

Material type: book 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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).

Powered by Koha