| Title:
|
Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz (German) |
| Title:
|
The independence of Hermes-Scholz axiomatic system of propositional calculus (English) |
| Title:
|
Nezávislost Hermes-Scholzova axiomatického systému výrokového kalkulu (Czech) |
| Author:
|
Mleziva, Miroslav |
| Language:
|
German |
| Journal:
|
Časopis pro pěstování matematiky |
| ISSN:
|
0528-2195 |
| Volume:
|
84 |
| Issue:
|
4 |
| Year:
|
1959 |
| Pages:
|
454-460 |
| Summary lang:
|
Czech |
| Summary lang:
|
Russian |
| . |
| Category:
|
math |
| . |
| MSC:
|
02-00 |
| idZBL:
|
Zbl 0201.32202 |
| idMR:
|
MR0115897 |
| DOI:
|
10.21136/CPM.1959.117321 |
| . |
| Date available:
|
2009-09-23T07:07:04Z |
| Last updated:
|
2020-07-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/117321 |
| . |
| Reference:
|
[1] H. Hermes, H. Scholz: Mathematische Logik.Enzyklopädie der mathematischen Wissenschaften, Bd. I 1, Heft 1, Teil I; Teubner, Leipzig, 1952. Zbl 0047.24801, MR 0065488 |
| Reference:
|
[2] D. Hilbert, P. Bernays: Grundlagen der Mathematik.Bd. I., Springer, Berlin, 1934; S. 76. Zbl 0009.14501 |
| . |
