A proof of the completeness theorem of Grödel
Fundamenta Mathematicae (1950)
- Volume: 37, Issue: 1, page 193-200
- ISSN: 0016-2736
Access Full Article
topHow to cite
topRasiowa, H., and Sikorski, Roman. "A proof of the completeness theorem of Grödel." Fundamenta Mathematicae 37.1 (1950): 193-200. <http://eudml.org/doc/213213>.
@article{Rasiowa1950,
author = {Rasiowa, H., Sikorski, Roman},
journal = {Fundamenta Mathematicae},
keywords = {philosophy and foundations of mathematics},
language = {eng},
number = {1},
pages = {193-200},
title = {A proof of the completeness theorem of Grödel},
url = {http://eudml.org/doc/213213},
volume = {37},
year = {1950},
}
TY - JOUR
AU - Rasiowa, H.
AU - Sikorski, Roman
TI - A proof of the completeness theorem of Grödel
JO - Fundamenta Mathematicae
PY - 1950
VL - 37
IS - 1
SP - 193
EP - 200
LA - eng
KW - philosophy and foundations of mathematics
UR - http://eudml.org/doc/213213
ER -
Citations in EuDML Documents
top- Jörg Flum, On the existence of prime ideals in Boolean algebras
- A. Mostowski, L'espace des modèles d'une théorie formalisée et quelques-unes de ses applications
- Walenty Ostasiewicz, Half a century of fuzzy sets
- Marcel Guillaume, Essai sur la genèse de la méthode des tableaux de Beth
- Ladislav Rieger, O jedné základní větě matematické logiky
- Wiktor Bartol, Ewa Orłowska, Andrzej Skowron, Helena Rasiowa, 1917-1994
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.