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

Refine your search

Your search returned 305 results. Subscribe to this search

|
141. LECTURES ON MATHEMATICAL LOGIC

by Felscher,Walter.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,282.Publisher: Gordon And Breach Science Publishers, Australia 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F338L] (1).

142. LECTURES ON MATHEMATICAL LOGIC

by Felscher,Walter.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,282.Publisher: Gordon And Breach Science Publishers, Australia 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F338L] (1).

143. THE LOGICAL STATUS OF DIAGRAMS

by Shin,Sun-Joo.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,197.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.33 SH63L] (1).

144. PROBLEMS IN SET THEORY, MATHEMATICAL LOGIC AND THE THEORY OF ALGORITHMS

by Lavrov,Igor | Maksimova,Larisa.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,282.Publisher: Kluwer Academic / Plenum Publishers, New York 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 L399P] (1).

145. HANDBOOK OF LOGIC IN COMPUTER SCIENCE

by Gabbay,Dov M | Maibaum,T S E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii,537.Publisher: Clarendon Press,Oxford 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 H191A] (1).

146. KNOWLEDGE IN ACTION

by Reiter,Raymond.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,424.Publisher: The Mit Press, Cambridge 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.332 R278K] (1).

147. HANDBOOK OF LOGIC IN COMPUTER SCIENCE

by Maibaum,T S E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii,537.Publisher: Clarendon Press,Oxford 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 H191A] (1).

148. LOGIC FUNCTIONS AND EQUATIONS

by Posthoff,Christian | Steinbach,Bernd.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxix,392.Publisher: Springer, Aa Dordrecht 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P846L] (1).

149. THE OXFORD HANDBOOK OF PHILOSOPHY OF MATHEMATICS AND LOGIC

by Shapiro,Stewart.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,833.Publisher: Oxford Univ. Pr., Oxford 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.1 OX2] (1).

150. REASONING ABOUT UNCERTAINTY

by Halpern,Joseph Y.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,483.Publisher: The Mit Press, Cambridge 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.54 H163R] (1).

151. LOGICALLY DETERMINED DESIGN

by Fant,Karl M.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,292.Publisher: John Wiley & Sons Inc., New Jersey 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381 F218L] (1).

152. LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE

by Rahman,Shahid.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix,626.Publisher: Kluwer Academic Publishers,Aa Dordrecht 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 L829] (1).

153. LOGICAL ENVIRONMENTS

by Huet,Gerard | Plotkin,Gordon.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,338.Publisher: Cambridge Univ. Press, Cambridge 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829H] (1).

154. REDUCTIVE LOGIC AND PROOF-SEARCH

by Pym,David J | Ritter,Eike.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,208.Publisher: Clarendon Press, Oxford 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P994R] (1).

155. Handbook of spatial logics

by .

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi,1058p.Publisher: Netherlands Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H191a] (1).

156. The mathematics of logic

by Kaye, Richard.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 204p.Publisher: Cambridge Cambridge University Press 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K182m] (1).

157. Temporal logic and state systems

by Kroger, Fred | Merz, Stephan.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 433p.Publisher: Berlin Springer-Verlag 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 K914t] (1).

158. A course on mathematical logic

by Srivastava, S. M.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 140 p.Publisher: New York Springer 2008Availability: No items available Checked out (1).

159. Change, choice and inference : a study of belief revision and nonmonotonic reasoning

by Rott, Hans.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 381p.Publisher: Oxford Clarendon Press 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.6 R747c] (1).

160. Routledge philosophy guidebook to Wittgenstein and the Tractatus : logico-philosophicus

by Morris, Michael.

Material type: book Book; Format: print ; Literary form: not fiction Description: vi, 401p.Publisher: London Routledge 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192 M833r] (1).

Powered by Koha