Your search returned 38 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui by Series: Studies in logic and the foundations of mathematics ; v. 89
Publication details: Amsterdam New York New York North-Holland Pub. Co sale distributors for the U.S.A. and Canada, Elsevier/North-Holland 1977
Availability: Items available for loan: IMAR (1)Call number: II 34393.

Place hold Add to cart
2.
No cover image available
Collected works Kurt Godel ; editors, Solomon Feferman ... [et al.] by
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
3.
No cover image available
Structuri matematice discrete: Aplicatii / Alexandru Mateescu by
Material type: Text 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
4.
Degrees of unsolvability local and global theory Manuel Lerman by Series: Perspectives in mathematical logic
Publication details: Berlin New York Springer-Verlag 1983
Availability: Items available for loan: IMAR (1)Call number: II 27703.

Place hold Add to cart
5.
Minimal degrees of unsolvability and the full approximation construction Richard L. Epstein by Series: Memoirs of the American Mathematical Society
Publication details: Providence American Mathematical Society 1975
Availability: Items available for loan: IMAR (1)Call number: II 17942.

Place hold Add to cart
6.
Admissible sets and structures an approach to definability theory Jon Barwise by Series: Perspectives in mathematical logic
Publication details: Berlin New York Springer-Verlag 1975
Availability: Items available for loan: IMAR (2)Call number: II 18130, ...

Place hold Add to cart
7.
No cover image available
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, ...

Place hold Add to cart
8.
No cover image available
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, ...

Place hold Add to cart
9.
Foundations of logic and mathematics: Applications to computer science and cryptography Yves Nievergelt by
Publication details: Boston Birkhauser c2002
Availability: Not available: IMAR: Checked out (1).

Place hold Add to cart
10.
Reasoning about uncertainty Joseph Y. Halpern by
Publication details: Cambridge, Mass MIT Press c2003
Availability: Not available: IMAR: Checked out (1).

Place hold Add to cart
11.
No cover image available
Mathematical logic: a course with exercises by
Publication details: Oxford New York Oxford University Press 2000
Availability: Not available: IMAR: Checked out (1).

Place hold Add to cart
12.
An introduction to non-classical logic: From if to is Graham Priest by
Edition: 2nd ed
Publication details: Cambridge New York Cambridge University Press 2008
Availability: Not available: IMAR: Checked out (1).

Place hold Add to cart
13.
The strange logic of random graphs Joel Spencer by Series: Algorithms and combinatorics ; vol. 22
Publication details: Berlin , New York : Springer, c2001
Online resources:
Availability: Items available for loan: IMAR (1)Call number: 511.5-SPE.

Place hold Add to cart
14.
No cover image available
Logique mathematique : Textes by 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
15.
The logical and set-theoretical foundations of mathematics A. Zulauf by 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
16.
One hundred prisoners and a light bulb Hans van Ditmarsch, Barteld Kooi by
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
17.
Proof theory Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign. by Series: Dover books on mathematics
Edition: Second edition.
Publication details: Mineola, New York: Dover Publications, 2013
Availability: Items available for loan: IMAR (1)Call number: 511.36-TAK.

Place hold Add to cart
18.
No cover image available
Theorie des ensembles N. Bourbaki by Series: Elements de mathematique. Premiere parte: livre 1 | Bourbaki, Nicolas ;
Edition: ed. a 2-a
Publication details: Paris: Hermann, 1960
Availability: No items available.

Add to cart
19.
20.
No cover image available
Elemente de teoria generala a codurilor / Corina Reischer, Dan Simovici by
Material type: Text 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
Pages

Powered by Koha