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

Results
	21.	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)
	22.	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)
	23.	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)
	24.	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)
	25.	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)
	26.	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)
	27.	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)
	28.	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)
	29.	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)
	30.	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)
	31.	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)
	32.	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)
	33.	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)
	34.	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)
	35.	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)
	36.	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)
	37.	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)
	38.	Decidability and Boolean representations / Stanley Burris and Ralph McKenzie. by Burris, Stanley McKenzie, Ralph Series: Memoirs of the American Mathematical Society ; no. 246 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1981 Availability: Items available for loan: IMAR (1)Call number: 512-BUR. Place hold Add to cart (remove)
	39.	No cover image available The laws of thought (1854) by Boole, George, 1815-1864 HathiTrust CARL (Organization) Series: Boole, George, Works ; v. 2. Material type: Text; Format: print ; Literary form: Not fiction Publication details: La Salle, Ill. : Open Court, 1952 Availability: Items available for loan: IMAR (1)Call number: 511.3-BOO-2. Place hold Add to cart (remove)
	40.	No cover image available Security and Privacy of RFID Schemes in Vaudenay’s Model: Teza de doctorat Drd. Nicolae Cristian Hristea; Coordonator: Prof. Dr. Ferucio Laurentiu Tiplea by Hristea, Nicolae Cristian Material type: Text; Format: print ; Literary form: Not fiction Publication details: Bucuresti: IMAR, 2024 Availability: Items available for loan: IMAR (1)Call number: CT1-Hristea, Nicolae Cristian. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 44 results.