header
cover

1 - Proofs from THE BOOK - Fourth edition
Aigner, Martin (1942-....)   /   Hofmann, Karl Heinrich (1932-....) (Illustrations)   /   Ziegler, Günter M. (1963-....)

Cote : [02.1 AIG 10]

cover

2 - Proofs from THE BOOK
Aigner, Martin (1942-....)   /   Hofmann, Karl Heinrich (1932-....) (Illustrations)   /   Ziegler, Günter M. (1963-....)

Cote : [02.1 AIG 98]

cover

3 - Beweistheorie
Schütte, Kurt (1909-1998)

Cote : [05 SCHU 60]

cover

4 - Computation and proof theory : proceedings of the logic colloquium held in Aachen, July 18-23, 1983. Part II
Richter, Michael M. (1938-....) (Ed.)   /   Börger, Egon (1946-....) (Ed.)   /   Oberschelp, Walter (1933-....) (Ed.)   /   Schinzel, B. (Ed.)   /   Thomas, Wolfgang (1947-....) (Ed.)

Cote : [05 RIC 84-2]

cover

5 - Interactive models of computation and program behavior
Curien, Pierre-Louis   /   Melliès, Paul-André   /   Herbelin, Hugo   /   Krivine, Jean-Louis

Cote : [05 CUR 09]

cover

6 - Introduction à la logique mathématique
Novikov, Petr Sergeevich (1901-1975)   /   Sarthou, Charles (Trad.)

Cote : [05 NOV 64]

cover

7 - Intuitionism and proof theory : proceedings of the Summer conference at Buffalo N. Y. 1968
Kino, Akiko (Ed.)   /   Myhill, John (1923-1987) (Ed.)   /   Vesley, Richard Eugène (1932-....) (Ed.)

Cote : [05 KIN 68]

cover

9 - Logic in elementary mathematics
Exner, Robert M.   /   Rosskopf, Myron Frederick

Cote : [05 EXN 59]

cover

10 - Mathematical logic
Monk, James Donald (1930-....)

Cote : [05 MON 76]