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]

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

Cote : [02.1 AIG 98]

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

Cote : [05 SCHU 60]

4 - Boolean-valued models and independence proofs in set theory
Bell, John Lane (1945-....)

Cote : [05 BEL 77]

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

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

Cote : [05 CUR 09]

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

Cote : [05 NOV 64]

8 - 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]

9 - Logic in algebraic form : three languages and theories
Craig, William (1918-....)

Cote : [05 CRA 74]

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

Cote : [05 EXN 59]