Your search returned 22 results.

Sort
Results
1.
Incercari vechi si noi de logica neclasica Gr. C. Moisil by
Publication details: Bucuresti Editura Stiintifica 1965
Availability: Items available for loan: IMAR (2)Call number: II 15193, ...

2.
Grundzuge der theoretischen Logik / D. Hilbert; W. Ackermann by
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, ...

3.
Capitole speciale de algebra / Ionel Bucur by
Material type: Text 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.

4.
Grundzuge der Theoretischen Logik / D. Hilbert und W. Ackermann by
Edition: 5. Auflage
Material type: Text 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.

5.
Studii de logica matematica / Wang Hao by
Material type: Text 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.

6.
An algebraic approach to non-classical logic / Helena Rasiowa by
Material type: Text 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.

7.
Introduction a l'algebre de Boole et aux dispositifs logiques / G. Hoernes, M F. Heilweil by
Material type: Text 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.

8.
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
Material type: Text 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.

9.
The Lambda Calculus : Its Syntax snd Semantics / H. P Barendregt by
Material type: Text 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.

10.
Algebre et Topologie Booleennes / D. Ponasse, J.C. Carrega by
Material type: Text 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.

11.
Automated Deduction In Equational Logic And Cubic Curves / W. McCune, R. Padmanabhan by
Material type: Text 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.

12.
Boolean Matrix Theory and Applications / K. H. Kim by
Material type: Text 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.

13.
Introducere in algebra: vol. 1: Inele si ideale Grigore Moisil by
Material type: Text 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.

14.
Graphenbasierte Funktiondarstellung: Boolesche und Pseudo-Boolesche Funktionen / R. Becker, B. Drechsler by
Material type: Text 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.

15.
Einfuhrung in die Verbandstheorie / Hans Hermes by
Material type: Text 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.

16.
Residuation Theory / T. S. Blyth, M. F. Janowitz by
Material type: Text 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.

17.
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
Material type: Text 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, ...

18.
Calculo Proposicional Uma Interacao Da Algebra E Da Logica by Francisco Miraglia by Series: Colrcao CLE ; 4
Material type: Text 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.

19.
Logica polivalenta by Anton Dumitriu by Series: Enciclopedia de buzunar
Material type: Text 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.

20.
The laws of thought (1854) by Series: Boole, George, Works ; v. 2.
Material type: Text 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.

Pages

Powered by Koha