A proof of the consistency of function calcul of mathematical logic
Časopis pro pěstování matematiky a fysiky (1935)
- Volume: 064, Issue: 5, page 132-132
- ISSN: 1802-114X
Access Full Article
top
How to cite
topRössler, Karel. "Důkaz bezespornosti funkčního počtu matematické logiky." Časopis pro pěstování matematiky a fysiky 064.5 (1935): 132-132. <http://eudml.org/doc/24419>.
@article{Rössler1935,
author = {Rössler, Karel},
journal = {Časopis pro pěstování matematiky a fysiky},
language = {cze},
number = {5},
pages = {132-132},
publisher = {Jednota československých matematiků a fysiků Union of Czechoslovak Mathematicians and Physicists},
title = {Důkaz bezespornosti funkčního počtu matematické logiky},
url = {http://eudml.org/doc/24419},
volume = {064},
year = {1935},
}
TY - JOUR
AU - Rössler, Karel
TI - Důkaz bezespornosti funkčního počtu matematické logiky
JO - Časopis pro pěstování matematiky a fysiky
PY - 1935
PB - Jednota československých matematiků a fysiků Union of Czechoslovak Mathematicians and Physicists
VL - 064
IS - 5
SP - 132
EP - 132
LA - cze
UR - http://eudml.org/doc/24419
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.