Your search returned 277 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	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)
6.	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)
7.		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)
8.		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)
9.	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)
10.		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)
11.		Logic and algorithms : with application to the computer and infor mation sciences / Robert R. Korfhage. by Korfhage, Robert R Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : John Wiley & Sons, c1966 Availability: Items available for loan: College of Education and External Studies Library - Open Stacks (1). Place hold Save to lists Add to cart (remove)
12.		Paradoxes and common sense / Aubrey J. Kempner. by Kempner, Aubrey J Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton, N.J. : Van Nostrand, 1959 Availability: Items available for loan: Main Library - Africana (1). Place hold Save to lists Add to cart (remove)
13.		The consistency of the axio of choice and of the generalized continu m-hypothesis with the axioms of set theory / by Kurt GÃ¶del by GÃ¶del, Kurt Brown, George William, 1917- Series: Annals of mathematics studies ; no.3 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Princeton, London : Princeton University Press, H. Milford, Oxford University press, 1940 Availability: Items available for loan: Main Library - Africana (1)Call number: P 510.1 G64. Place hold Save to lists Add to cart (remove)
14.		A generalization of a formalized theory of fields of sets on non-cla ssical logics / H. Rasiowa. by Rasiowa, H Series: Rozprawy Matematyczne ; v.42. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Warszawa : Panstwowe Wydawnictwo Naukowe, 1964 Availability: Items available for loan: Main Library - Africana (1)Call number: P 510.1 R37. Place hold Save to lists Add to cart (remove)
15.	Image from Amazon.com	Logic of domains / Guo-Qiang Zhang by Zhang, Guo-qiang Series: Progress in Theoretical Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boston: Birkhauser , 1991 Availability: Items available for loan: Main Library - Open Shelves (1). Place hold Save to lists Add to cart (remove)
16.		Set theory the continuum hypothesis / by Paul J. Cohen by Cohen, Paul J, 1984 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : W. A. Benjamin, 1966 Availability: Items available for loan: Main Library - Open Shelves (1). Place hold Save to lists Add to cart (remove)
17.		The anatomy of mathematics / by R. B. Kershner and L. R. Wilcox by Kershner, Richard B, 1913- Wilcox, Lee Roy, 1912- Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : ronald Press , 1950 Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 510 KER. Place hold Save to lists Add to cart (remove)
18.		An introduction to modern mathematics / Translated by Peter Fanth am. by Monjallon, Albert Series: University mathematical texts, 34) 17/6 (13/6 pbk Material type: Text; Format: print ; Literary form: Not fiction Publication details: London: Oliver & Boyd, 1967 Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 510 MON. Place hold Save to lists Add to cart (remove)
19.		Foundations of mathematical logic. by Curry, Haskell Brooks, 1900- Series: McGraw-Hill series in higher mathematics Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : McGraw-Hill , 1963 Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 510.1 CUR. Place hold Save to lists Add to cart (remove)
20.		... The search for truth / Eric Temple Bell... by Bell, Eric Temple, 1883 - Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : G. Allen and Unwin, 1934, repr. 1946 Availability: Items available for loan: Main Library - Open Shelves (1)Call number: 510 BEL. Place hold Save to lists Add to cart (remove)