m

Bibliothèques de mathématique et de l'IREM

Documents  Troelstra, A.S. | enregistrements trouvés : 6

O
K L Q M | g | F x r
     

-A +A

P Q

Troelstra, A.S.

Z 1988

Constructivism in mathematics. Vol. 2 |  1988

North-Holland

Constructivism in mathematics. Vol. 1 |  1988

North-Holland

Z 1977

Choice sequences |  1977

Clarendon Press

Z 1973

Metamathematical investigation of intuitionistic arithmetic and analysis |  1973

Springer

Z 1969

Principles of intuitionism |  1969

Springer

Z 1968

Logic and foundations of mathematics |  1968

Wolters-Noordhoff

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z