trier par
Copyright © 2020 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) A formalization of set theory without variables | 3 résultat(s)

Services

Affiner la recherche

Mot Type Compte
of Mots du titre [4734419]
formalization Mots du titre [426]
without Mots du titre [13282]
variables Mots du titre [5692]
a Mots du titre [3220681]
theory Mots du titre [82024]
set Mots du titre [15103]
1

Ressources électroniques 1.
Tarski, Alfred (1901-1983) / 2012
Livres 2.
Tarski, Alfred (1901-1983) / American Mathematical Society / cop. 1987
Livres 3.
Tarski, Alfred (1901-1983) / Reprinted with corrections, 1988 / American Mathematical Society / 1988, cop. 1987