Results of search for 'ccl=su:"Mathematical logic"'

Results
	1.	Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui by Arruda, Ayda I Costa, Newton C. A. da Chuaqui, R Series: Studies in logic and the foundations of mathematics ; v. 89 Publication details: Amsterdam New York New York North-Holland Pub. Co sale distributors for the U.S.A. and Canada, Elsevier/North-Holland 1977 Availability: Items available for loan: IMAR (1)Call number: II 34393. Place hold Add to cart (remove)
	2.	No cover image available Collected works Kurt Godel ; editors, Solomon Feferman ... [et al.] by Godel, Kurt Feferman, Solomon Publication details: Oxford [Oxfordshire] New York Clarendon Press Oxford University Press c1986-2003 Availability: Items available for loan: IMAR (2)Call number: II 33714, ... Place hold Add to cart (remove)
	3.	No cover image available Structuri matematice discrete: Aplicatii / Alexandru Mateescu by Mateescu, Alexandru Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti Ed. Academiei Romane 1989 Availability: Items available for loan: IMAR (3)Call number: 005.131-MAT, ... Place hold Add to cart (remove)
	4.	Degrees of unsolvability local and global theory Manuel Lerman by Lerman, M Series: Perspectives in mathematical logic Publication details: Berlin New York Springer-Verlag 1983 Availability: Items available for loan: IMAR (1)Call number: II 27703. Place hold Add to cart (remove)
	5.	Minimal degrees of unsolvability and the full approximation construction Richard L. Epstein by Epstein, Richard L Series: Memoirs of the American Mathematical Society Publication details: Providence American Mathematical Society 1975 Availability: Items available for loan: IMAR (1)Call number: II 17942. Place hold Add to cart (remove)
	6.	Admissible sets and structures an approach to definability theory Jon Barwise by Barwise, Jon Series: Perspectives in mathematical logic Publication details: Berlin New York Springer-Verlag 1975 Availability: Items available for loan: IMAR (2)Call number: II 18130, ... Place hold Add to cart (remove)
	7.	No cover image available Incercari vechi si noi de logica neclasica Gr. C. Moisil by Moisil, Gr. C Publication details: Bucuresti Editura Stiintifica 1965 Availability: Items available for loan: IMAR (2)Call number: II 15193, ... Place hold Add to cart (remove)
	8.	No cover image available Sinteza automatelor finite / I. Muntean. by Muntean, I Material type: Text; Format: print ; Literary form: Not fiction Publication details: București : Editura Tehnică, 1977 Availability: Items available for loan: IMAR (2)Call number: I 18991, ... Place hold Add to cart (remove)
	9.	No cover image available Grundzuge der theoretischen Logik / D. Hilbert; W. Ackermann by Hilbert, David Ackermann, W Edition: editia a 3-a, imbunatatita Publication details: Berlin: Springer-Verlag, 1949 Availability: Items available for loan: IMAR (2)Call number: 511.3-HIL-1, ... Place hold Add to cart (remove)
	10.	Foundations of logic and mathematics: Applications to computer science and cryptography Yves Nievergelt by Nievergelt, Yves Publication details: Boston Birkhauser c2002 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	11.	Reasoning about uncertainty Joseph Y. Halpern by Halpern, Joseph Y Publication details: Cambridge, Mass MIT Press c2003 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	12.	No cover image available Mathematical logic: a course with exercises by Cori, Rene Lascar, Daniel Publication details: Oxford New York Oxford University Press 2000 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	13.	An introduction to non-classical logic: From if to is Graham Priest by Priest, Graham Edition: 2nd ed Publication details: Cambridge New York Cambridge University Press 2008 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)
	14.	The strange logic of random graphs Joel Spencer by Spencer, Joel H Series: Algorithms and combinatorics ; vol. 22 Publication details: Berlin , New York : Springer, c2001 Online resources: Publisher description Availability: Items available for loan: IMAR (1)Call number: 511.5-SPE. Place hold Add to cart (remove)
	15.	No cover image available Logique mathematique : Textes by Largeault, Jean Series: Collection U. Serie Epistemologie Publication details: Paris: Armand Colin, [1972] Availability: Items available for loan: IMAR (1)Call number: 511.3-LAR. Place hold Add to cart (remove)
	16.	The logical and set-theoretical foundations of mathematics A. Zulauf by Zulauf, Achim Series: A modern introduction to pure mathematics ; Part 1 Publication details: Edinburgh: Oliver and Boyd, 1969 Availability: Items available for loan: IMAR (1)Call number: 511.3-ZUL. Place hold Add to cart (remove)
	17.	One hundred prisoners and a light bulb Hans van Ditmarsch, Barteld Kooi by Ditmarsch, Hans van Kooi, Barteld Pieter Publication details: Heidelberg: Springer, 2015 Other title: 100 prisoners and a light bulb Availability: Items available for loan: IMAR (1)Call number: 793.74-DIT. Place hold Add to cart (remove)
	18.	Proof theory Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign. by Takeuti, Gaisi Series: Dover books on mathematics Edition: Second edition. Publication details: Mineola, New York: Dover Publications, 2013 Availability: Items available for loan: IMAR (1)Call number: 511.36-TAK. Place hold Add to cart (remove)
	19.	No cover image available Theorie des ensembles N. Bourbaki by Bourbaki, Nicolas Series: Elements de mathematique. Premiere parte: livre 1 \| Bourbaki, Nicolas ; Edition: ed. a 2-a Publication details: Paris: Hermann, 1960 Availability: No items available. Add to cart (remove)
	20.	Three views of logic : Mathematics, philosophy, and computer science Donald W. Loveland, Richard E. Hodel, S.G. Sterrett by Loveland, Donald W Hodel, Richard E Sterrett, Susan G Publication details: Oxford: Princeton University Press, 2014 Availability: Not available: IMAR: Checked out (1). Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 52 results.