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

Results
	1.	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)
	2.	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)
	3.	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)
	4.	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)
	5.	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)
	6.	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)
	7.	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)
	8.	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)
	9.	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)
	10.	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)
	11.	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)
	12.	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)
	13.	No cover image available Boolean Matrix Theory and Applications / K. H. Kim by Kim, K. H Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York: Marcel Dekker, 1982 Availability: Items available for loan: IMAR (1)Call number: CSR -511.3-KIM. Place hold Add to cart (remove)
	14.	No cover image available Introducere in algebra: vol. 1: Inele si ideale Grigore Moisil by Moisil, Grigore Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti Ed. Academiei Romane 1954 Availability: Items available for loan: IMAR (1)Call number: CSR-512.42.-MOI. Place hold Add to cart (remove)
	15.	No cover image available Graphenbasierte Funktiondarstellung: Boolesche und Pseudo-Boolesche Funktionen / R. Becker, B. Drechsler by Drechsler, Rolf Becker, Bernd Material type: Text; Format: print ; Literary form: Not fiction Publication details: Stutgart: Teubner, 1998 Availability: Items available for loan: IMAR (1)Call number: CSR -511.3-DRE. Place hold Add to cart (remove)
	16.	No cover image available Einfuhrung in die Verbandstheorie / Hans Hermes by Hermes, Hans Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer, 1955 Availability: Items available for loan: IMAR (1)Call number: CSR -511.3-HER. Place hold Add to cart (remove)
	17.	No cover image available Residuation Theory / T. S. Blyth, M. F. Janowitz by Blyth, T. S Janowitz, M. F Material type: Text; Format: print ; Literary form: Not fiction Publication details: Oxford: Pergamon, 1972 Availability: Items available for loan: IMAR (1)Call number: CSR -511.3-BLY. Place hold Add to cart (remove)
	18.	No cover image available Kinetic logic: A Boolean approach to the analysis of complex regulatory systems : proceedings of the EMBO course "Formal analysis of genetic regulation," held in Brussels, September 6-16, 1977 René Thomas (ed) by Thomas, René (ed) Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York, Berlin: Springer, 1979 Availability: Items available for loan: IMAR (2)Call number: CSR-511.3-TH0, ... Place hold Add to cart (remove)
	19.	No cover image available Calculo Proposicional Uma Interacao Da Algebra E Da Logica by Francisco Miraglia by Miraglia, Francisco Series: Colrcao CLE ; 4 Material type: Text; Format: print ; Literary form: Not fiction Publication details: San Paulo Centro de Logica 1987 Availability: Items available for loan: IMAR (1)Call number: CSR 511.3-MIR. Place hold Add to cart (remove)
	20.	No cover image available Logica polivalenta by Anton Dumitriu by Dumitriu, Anton Series: Enciclopedia de buzunar Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti: Editura Enciclopedica, 1971 Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-DUM-1. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 23 results.