trier par
Copyright © 2020 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Intuitionism and proof theory | 7 résultat(s)

Services

Affiner la recherche

Mot Type Compte
intuitionism Mots du titre [59]
theory Mots du titre [82024]
proof Mots du titre [2905]
1

Ressources électroniques 1.
Hinkis, Arie / 1st ed. 2013. / 2013Résumé
Ressources électroniques 2.
1st ed. 2016. / 2016Résumé
Ressources électroniques 3.
Dybjer, Peter / Springer Netherlands : Springer e-books : Imprint: Springer : Springer e-books / 2012Résumé
Ressources électroniques 4.
Troelstra, Anne Sjerp / 201X
Livres 5.
Troelstra, Anne Sjerp / Springer-Verlag / 1969, cop. 1969
Livres 6.
Dragaline, Albert Grigorievitch / American Mathematical Society / cop. 1988
Livres 7.
North-Holland / cop. 1970