Proximités et topologies
Yves Péraire (1997)
Annales mathématiques Blaise Pascal
Similarity:
Displaying similar documents to “L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications”
Proximités et topologies
Logique du premier ordre avec quantificateur cardinalisé
Daniel Lacombe (1966-1968)
Séminaire Bourbaki
Similarity:
Les ensembles fermés et les fondements de la Topologie
Monteiro, António (1941)
Portugaliae mathematica
Similarity:
Observations concernant la théorie de la définition
E. W. Beth (1962)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
La prédicativité
G. Kreisel (1960)
Bulletin de la Société Mathématique de France
Similarity:
Des ensembles et de leurs axiomatiques : esquisse de quelques points de vue
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity:
La logique intensionnelle et les langues naturelles
Miklos Santha (1982)
Mathématiques et Sciences Humaines
Similarity: