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 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)
	9.	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)
	10.	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)
	11.	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)
	12.	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)
	13.	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)
	14.	No cover image available Capitole speciale de algebra / Ionel Bucur by Bucur, Ionel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti: Editura Academiei Române, 1980 Availability: Items available for loan: IMAR (1)Call number: CSR-512-BUC-1. Place hold Add to cart (remove)
	15.	No cover image available Elemente de teoria generala a codurilor / Corina Reischer, Dan Simovici by Reischer, Corina Simovici, Dan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Iasi: Junimea, 1973 Availability: Items available for loan: IMAR (1)Call number: CSR-005.7-REI-1. Place hold Add to cart (remove)
	16.	No cover image available Grundzuge der Theoretischen Logik / D. Hilbert und W. Ackermann by Hilbert, David Ackerman, W Edition: 5. Auflage Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin, Heidelberg, New York: Springer, 1967 Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-HIL. Place hold Add to cart (remove)
	17.	No cover image available Studii de logica matematica / Wang Hao by Hao, Wang Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti: Editura Stiintifica, 1972 Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-HAO. Place hold Add to cart (remove)
	18.	No cover image available An algebraic approach to non-classical logic / Helena Rasiowa by Rasiowa, Helena Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam, Londra, New York: North-Holland, American Elsevier, 1974 Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-RAS-1. Place hold Add to cart (remove)
	19.	No cover image available Introduction a l'algebre de Boole et aux dispositifs logiques / G. Hoernes, M F. Heilweil by Hoernes, G Heilweil, M. F Material type: Text; Format: print ; Literary form: Not fiction Publication details: Paris Dunod 1966 Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-HOR. Place hold Add to cart (remove)
	20.	No cover image available Info-Iasi 8: Lucrarile celui de-al patrulea colocviu de informatica. 27-29 octombrie 1983 Universitatea A. I. Cuza Iasi. Facultatea de Matematica si Centrul Teritorial de Calcul Electronic Iasi by Universitatea A. I. Cuza Iasi Material type: Text; Format: print ; Literary form: Not fiction Publication details: Iasi: Universitatea A. I. Cuza Iasi, 1983 Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-UNI. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 38 results.