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 - Predicative arithmetic
Nelson, Edward (1932-2014)

Cote : [05 NEL 86]

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

Cote : [70 SNO 71]