The independence of Hermes-Scholz axiomatic system of propositional calculus
Časopis pro pěstování matematiky (1959)
- Volume: 084, Issue: 4, page 454-460
- ISSN: 0528-2195
Access Full Article
topHow to cite
topMleziva, Miroslav. "Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz." Časopis pro pěstování matematiky 084.4 (1959): 454-460. <http://eudml.org/doc/20687>.
@article{Mleziva1959,
author = {Mleziva, Miroslav},
journal = {Časopis pro pěstování matematiky},
language = {ger},
number = {4},
pages = {454-460},
publisher = {Mathematical Institute of the Czechoslovak Academy of Sciences},
title = {Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz},
url = {http://eudml.org/doc/20687},
volume = {084},
year = {1959},
}
TY - JOUR
AU - Mleziva, Miroslav
TI - Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz
JO - Časopis pro pěstování matematiky
PY - 1959
PB - Mathematical Institute of the Czechoslovak Academy of Sciences
VL - 084
IS - 4
SP - 454
EP - 460
LA - ger
UR - http://eudml.org/doc/20687
ER -
References
top- H. Hermes, H. Scholz, Mathematische Logik, Enzyklopädie der mathematischen Wissenschaften, Bd. I 1, Heft 1, Teil I; Teubner, Leipzig, 1952. (1952) Zbl0047.24801MR0065488
- D. Hilbert, P. Bernays, Grundlagen der Mathematik, Bd. I., Springer, Berlin, 1934; S. 76. (1934) Zbl0009.14501
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.