1 - Bounded artithmetic
Buss, Samuel R.

Cote : [05 BUS 86]

2 - Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957
Heyting, Arend (1898-1980) (Ed.)

Cote : [05 HEY 57]

3 - Einführung in die operative Logik und Mathematik
Lorenzen, Paul (1915-1994)

Cote : [05 LOR 55]

4 - Konstruktive Analysis
Klaua, Dieter

Cote : [44 KLA 61]

5 - Predicative arithmetic
Nelson, Edward (1932-2014)

Cote : [05 NEL 86]

6 - Zufälligkeit und Wahrscheinlichkeit : Eine algorithmische Begründung der Wahrscheinlichkeitstheorie
Schnorr, Claus Peter

Cote : [70 SNO 71]