Your search returned 739 results.

Results
1.		Proofs and refutations : the Logic of mathematics discovery / Imre Lakatos; edited by John Worrall and Elie Zahar by Lakatos, Imre Worrall, John Zahar, Elie Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1976, repr. 1981 Availability: Items available for loan: Main Library - IDA (1). Place hold Save to lists Add to cart (remove)
2.		A course in mathematical logic / J.L. Bell and M. Machover by Bell, John Lane Machover, MoshÃ© Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland, 1977 Availability: Items available for loan: Main Library - IDA (2)Call number: 511.3 BEL, ... Place hold Save to lists Add to cart (remove)
3.		Multiple-conclusion logic / D. J. Shoesmith and T. J. Smiley by Shoesmith, D. J Smiley, Timothy John Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1978, repr. 1980 Availability: Items available for loan: Main Library - IDA (1)Call number: 511.3 SHO. Place hold Save to lists Add to cart (remove)
4.		Mathematical logic in Latin America / edited by A. I. Arruda, .. .[et al.] by Latin American Symposium on Mathematical logic (4th : 1978 : Santiago de Chile) Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland, 1980 Availability: Items available for loan: Main Library - IDA (1)Call number: 511.3 LAT. Place hold Save to lists Add to cart (remove)
5.	Image from Amazon.com	Compliance quantified / Rudolf Avenihaus, Morton John Canty by Avenihaus, Rudolf Canty, Morton John Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1996 Availability: Items available for loan: Main Library - IDA (1)Call number: 519.52 AVE. Place hold Save to lists Add to cart (remove)
6.	Image from Amazon.com	The language of first-order logic : including the Macintosh versi on of Tarski's world 4.0 / Jon Barwise, John Etchemendy by Barwise, Jon Etchemendy, John Series: SCLI lecture notes ; no. 23 Edition: 3rd ed.rev and expanded Material type: Text; Format: print ; Literary form: Not fiction Publication details: Stanford : CSLI Publications, c1993 Availability: Not available: Main Library - IDA: Checked out (1). Place hold Save to lists Add to cart (remove)
7.	Image from Amazon.com	A Manual of Intensional logic / Johan Van Bethem by Benthem, J. F. A. K. Van, (Johan van), 1949 - Stanford University Center for the Study of Language and Information Series: CSLI lecture notes; no. 1 Edition: 2nd ed. rev. & exp. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Stanford : Center for the Study of Languages and Information, 1988 Availability: Items available for loan: Main Library - IDA (1)Call number: 160 BEN. Place hold Save to lists Add to cart (remove)
8.	Image from Amazon.com	Introduction to logic / Irving M.Copi, Carl Cohen. by Copi, Irving M Cohen, Carl, 1931- Edition: 9th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Prentice-Hall of India, 1996 Availability: Items available for loan: Institute of Statistics and Applied Economics Book Bank (7)Call number: 160 COP, ... Main Library - IDA (4)Call number: 160 COP, ... Main Library - Open Shelves (1)Call number: 160 COP. Place hold Save to lists Add to cart (remove)
9.	Image from Amazon.com	Thinking about logic : an introduction to the philosophy of logic / Stephen Read by Read, Stephen Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : Oxford University Press, 1995 Availability: Items available for loan: Main Library - IDA (1)Call number: 160 REA. Place hold Save to lists Add to cart (remove)
10.	Image from Amazon.com	Advanced logic programming for language processing / Patrick Sain t-Dizier. by Saint-Dizier, Patrick Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Academic Press , 1994 Availability: Items available for loan: Main Library - IDA (1)Call number: 005.13 SAI. Place hold Save to lists Add to cart (remove)
11.	Image from Amazon.com	Posthumous writings / Gottlob Frege ; edited by Hans Hermes, Frie drich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried G abriel and Walburga RoÌdding ; translated by Peter Long, Roger White, with the assistance of Raymond Hargreaves. by Frege, Gottlob, 1848-1925 Hermes, Hans Kambartel, Friedrich Kaulbach, Friedrich Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Publication details: Chicago : University of Chicago Press, 1979 Availability: Items available for loan: CHUSS- Arts Library (1)Call number: 160.8 F RE. Place hold Save to lists Add to cart (remove)
12.	Image from Amazon.com	Computability and logic / George S. Boolos, Richards C. Jeffrey. by Boolos, George S Jeffrey, Richard C Edition: 3rd. ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1989 repr. 1999 Availability: Items available for loan: Main Library - IDA (1)Call number: 511.3 BOO. Place hold Save to lists Add to cart (remove)
13.		Language in action : categories, lambdas and dynamic logic / J ohan Van Benthem. by Benthem, J. F. A. K. Van, (Johan van), 1949 - Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Publication details: Cambridge, Mass. : The MIT Press, 1995 Availability: Items available for loan: CHUSS - Mass Communication Book Bank (4). Main Library - IDA (3). Place hold Save to lists Add to cart (remove)
14.		Mathematical logic : a course with exercises / Renâe Cori and Daniel Lascar ; translated by Donald H. Pelletier. by Cori, Renâe Lascar, D. (Daniel), 1942- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford : Oxford University Press, 2000-2001 Availability: Items available for loan: Main Library - IDA (4)Call number: 511 .3 COR, ... Place hold Save to lists Add to cart (remove)
15.	Image from Amazon.com	Modern VLSI design : systems on silicon / Wayne Wolf. by Wolf, Wayne Hendrix Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Upper Saddle River : Prentice Hall PTR , 1998 Availability: Items available for loan: Main Library - IDA (1)Call number: 621.395 WOL. Place hold Save to lists Add to cart (remove)
16.		Microprocessors and logic design / Ronald L. Krutz. by Krutz, Ronald L Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Wiley, 1980 Availability: Items available for loan: Main Library - IDA (1)Call number: 001.64 KRU. Place hold Save to lists Add to cart (remove)
17.	Image from Amazon.com	Formal methods in artificial intelligence / Allan Ramsy by Ramsay, Allan Series: Cambridge tracts in theoretical computer science ; 6 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press , 1988 Availability: Items available for loan: Main Library - IDA (1). Place hold Save to lists Add to cart (remove)
18.	Image from Amazon.com	Fuzzy thinking : the new science of fuzzy logic / Bart Kosko by Kosko, Bart Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Hyperion, 1993 Availability: Items available for loan: MISR Library - Open Shelves (1)Call number: MISR 160 KOS. Place hold Save to lists Add to cart (remove)
19.		Wittgenstein-the early philosophy : an exposition of the"Tractatu s". / Leroy Henry Finch. by Finch, Henry Leroy Material type: Text; Format: print ; Literary form: Not fiction Publication details: Atlantic Highlands, N.J : Humanities Press, 1971 repr. 1982 Availability: Items available for loan: Main Library - IDA (1). Place hold Save to lists Add to cart (remove)
20.		International logic review. by Centro superiore di logica e scienze comparate Material type: Continuing resource; Format: print ; Type of continuing resource: periodical Publication details: Bologna : Centro superiore di logica e scienze comparate, 1970 - Other title: Rassegna internazionale di logica. Availability: No items available. Save to lists Add to cart (remove)