Title:
|
Důkaz bezespornosti funkčního počtu matematické logiky (Czech) |
Title:
|
A proof of the consistency of function calcul of mathematical logic (English) |
Title:
|
Démonstration du fait que le calcul fonctionnel n'est pas contradictoire (French) |
Author:
|
Rössler, Karel |
Language:
|
Czech |
Journal:
|
Časopis pro pěstování matematiky a fysiky |
ISSN:
|
1802-114X (printed edition, 1872-1950) |
Volume:
|
64 |
Issue:
|
5 |
Year:
|
1935 |
Pages:
|
132 |
. |
Category:
|
math |
. |
idZBL:
|
JFM 61.0062.02 |
DOI:
|
10.21136/CPMF.1935.121264 |
. |
Date available:
|
2009-08-29T18:15:17Z |
Last updated:
|
2020-07-29 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/121264 |
. |