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

Services

Affiner la recherche

Mot Type Compte
intuitionistic Mots du titre [326]
theory Mots du titre [82006]
proof Mots du titre [2904]
systems Mots du titre [89749]
premierprécédent | 1 | 2 | 3 | suivantdernier

Ressources électroniques 1.
1st ed. 2016. / 2016Résumé
Ressources électroniques 2.
TABLEAUX 2009 (18th ; Oslo, Norway ; 2009) / 2009Résumé
Ressources électroniques 3.
1st ed. 2007. / 2007Résumé
Ressources électroniques 4.
2006Résumé
Ressources électroniques 5.
Dowek, Gilles (1966-....) / 1st ed. 2014. / 2014Résumé
Ressources électroniques 6.
2009Résumé
Ressources électroniques 7.
2006Résumé
Ressources électroniques 8.
1st ed. 2016. / 2016Résumé
Ressources électroniques 9.
1st ed. 2010. / 2010Résumé
Ressources électroniques 10.
Bezhanishvili, Guram / 2013Résumé