On a fundamental theorem of mathematical logic
Časopis pro pěstování matematiky (1955)
- Volume: 080, Issue: 2, page 217-231
- ISSN: 0528-2195
Access Full Article
topHow to cite
topRieger, Ladislav. "O jedné základní větě matematické logiky." Časopis pro pěstování matematiky 080.2 (1955): 217-231. <http://eudml.org/doc/18994>.
@article{Rieger1955,
author = {Rieger, Ladislav},
journal = {Časopis pro pěstování matematiky},
keywords = {Philosophy and foundations of mathematics},
language = {cze},
number = {2},
pages = {217-231},
publisher = {Mathematical Institute of the Czechoslovak Academy of Sciences},
title = {O jedné základní větě matematické logiky},
url = {http://eudml.org/doc/18994},
volume = {080},
year = {1955},
}
TY - JOUR
AU - Rieger, Ladislav
TI - O jedné základní větě matematické logiky
JO - Časopis pro pěstování matematiky
PY - 1955
PB - Mathematical Institute of the Czechoslovak Academy of Sciences
VL - 080
IS - 2
SP - 217
EP - 231
LA - cze
KW - Philosophy and foundations of mathematics
UR - http://eudml.org/doc/18994
ER -
References
top- A. Tarski, Grundzüge des Systemenkalküls, Fund. Math. 25 (1935), 503-526. (1935) Zbl0012.38501
- A. Tarski, Grundzüge des Systemenkalküls, Fund. Math. 26 (1936), 283-301. (1936) Zbl0014.38701
- L. Rieger, On Free -complete Boolean Algebras, Fund. Math. 38 (1951), 35-52. (1951) MR0050561
- A. Robinson, On the Metamathematics of Algebra, Studies in Logic and the Foundations of Mathematics, Amsterdam 1951. (1951) Zbl0043.24702MR0046322
- D. Hilbert P. Bernays, Grundlagen der Mathematik, II, Berlin 1939. (1939)
- L. Henkin, The completeness of the first order functional calculus, Journ. Symb. L., 14 (1949), 42-48. (1949) Zbl0034.00602MR0033781
- R. Sikorski, On the representation of Boolean algebras as fields of setsy, Fund. Math. 35 (1948), 247-258. (1948) MR0028374
- H. Rasiowa R. Sikorski, A Proof of the Completeness Theorem of Gödel, Fund. Math. 37 (1950), 193-200. (1950) MR0040232
- D. Hilbert W. Ackermann, Grundzüge der theoretischen Logik, 2. vyd. Berlin 1938. (1938)
- L. Rieger, O algebře predikátového počtu, Litograf. tisk Ústř. mat. ústavu 1951. (1951)
- A. Mostowski, Logika matematyczna, Monografie matematyczne XVIII, Warszawa 1948. (1948) MR0026972
- A. I. Malcev, Untersuchungen aus dem Gebiete der mathematischen Logik, Matem. Sb. 1, 43 (1936), 323-336. (1936)
- A. G. Kuroš, Těorija grupp, 2. vyd. Moskva 1953. (1953)
- J. Lós C. Ryll-Nardzewski, On the application of Tychonoff’s theorem in mathematical proofs, Fund. Math. 38 (1951), 233-237. (1951) MR0048795
- L. Rieger, O sčetnych obobščennych -algebrach i novom dokazatěl’stve těoremy Gedel’a o polnotě, Čechosl. mat. ž. 1, 76 (1951), 33-49. (1951)
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.