Your search returned 7 results.

Sort
Results
1.
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, ...

2.
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).

3.
Reasoning about uncertainty Joseph Y. Halpern by
Publication details: Cambridge, Mass MIT Press c2003
Availability: Not available: IMAR: Checked out (1).

4.
Mathematical logic: a course with exercises by
Publication details: Oxford New York Oxford University Press 2000
Availability: Not available: IMAR: Checked out (1).

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

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

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

Pages

Powered by Koha