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

Results
	1.	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)
	2.	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)
	3.	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)
	4.	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)
	5.	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)
	6.	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)
	7.	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)
	8.	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)
	9.	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)
	10.	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)
	11.	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)
	12.	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)
	13.	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)
	14.	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)
	15.	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)
	16.	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)
	17.	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)
	18.	No cover image available The Lambda Calculus : Its Syntax snd Semantics / H. P Barendregt by Barendregt, H. P Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam, Londra, New York North-Holland, American Elsevier 1985 Availability: Items available for loan: IMAR (1)Call number: CSR -511.3-BAR. Place hold Add to cart (remove)
	19.	No cover image available Algebre et Topologie Booleennes / D. Ponasse, J.C. Carrega by Ponasse, D Carrega, J. C Material type: Text; Format: print ; Literary form: Not fiction Publication details: Paris Masson 1979 Availability: Items available for loan: IMAR (1)Call number: CSR -511.3-PON. Place hold Add to cart (remove)
	20.	No cover image available Automated Deduction In Equational Logic And Cubic Curves / W. McCune, R. Padmanabhan by McCune, W Padmanabhan, R Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer, 1996 Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-MCC. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 33 results.