Your search returned 7296 results.

Sort
Results
6741.
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.

6742.
Logic in Algebraic Form William Craig 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-CRA-1.

6743.
Mathematical Logic Donald Monk by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin-Heidelberg-New York Springer 1976
Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-MON.

6744.
Algebraic Logic Paul Halmos by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York Chelsea Publishing Comp. 1962
Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-HAL-1.

6745.
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.

6746.
Foundations of set theory A. Fraenkel, Bar-Hillel by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam, Londra, New York North-Holland, American Elsevier 1958
Availability: Items available for loan: IMAR (1)Call number: CSR-511.322-FRA-1.

6747.
Categories for the working Mathematician Saunders Mac Lane by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York, Berlin Springer 1971
Availability: Items available for loan: IMAR (1)Call number: CSR-512.62-LAN-1.

6748.
Axiomatic Set Theory G. ; Zaring, W. Takeuti by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin-Heidelberg-New York Springer 1973
Availability: Items available for loan: IMAR (1)Call number: CSR-511.322-TAK-2.

6749.
Introduction to Axiomatic Set Theory G. ; Zaring, W. Takeuti by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin-Heidelberg-New York Springer 1971
Availability: Items available for loan: IMAR (1)Call number: CSR-511.322-TAK-1.

6750.
Equivalents of the Axion of Choice H; Rubin, J Rubin by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam, Londra, New York North-Holland, American Elsevier 1970
Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-RUB.

6751.
Modelltheorie Kreisel, G.; Krivine, J. L. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin-Heidelberg-New York Springer 1972
Availability: Items available for loan: IMAR (1)Call number: CSR-511.34-KRE.

6752.
Intuitionism: An intoduction A. Heyting by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Amsterdam, Londra, New York North-Holland, American Elsevier 1971
Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-HEY.

6753.
An algebraic introduction to mathematical logic Donald Barnes by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York Springer 1975
Availability: Items available for loan: IMAR (1)Call number: CSR-511.3-BAR-1.

6754.
Linear Programming / Saul Gass by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York: McGraw-Hill, 1969
Availability: Items available for loan: IMAR (1)Call number: CSR-519.72-GAS.

6755.
Integer programming / Harold, Greenberg by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York: Academic Press, 1971
Availability: Items available for loan: IMAR (1)Call number: CSR-519.77-GRE.

6756.
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.

6757.
Gauss – A Biographical Study W. Buhler by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York, Berlin Springer 1981
Availability: Items available for loan: IMAR (1)Call number: CSR -510.92-GAU-BUH.

6758.
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.

6759.
Binary Functions and their Applications Horand Stormer by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin-Heidelberg-New York Springer 1990
Availability: Items available for loan: IMAR (1)Call number: CSR -511.3-STO.

6760.
The Moment of Proof Donald Benson by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York Oxford 1999
Availability: Items available for loan: IMAR (1)Call number: CSR -511.3-BEN.

Pages

Powered by Koha