Logic from A to G. A sketch for a mathematician's mechanical helper, flippantly annotated by a working mathematician
Pokroky matematiky, fyziky a astronomie (1982)
- Volume: 27, Issue: 2, page 93-101
- ISSN: 0032-2423
Access Full Article
topHow to cite
topHalmos, Paul R.. "Logika od A do G. Návrh matematikova mechanického pomocníka volně zpracovaný tvůrčím matematikem." Pokroky matematiky, fyziky a astronomie 27.2 (1982): 93-101. <http://eudml.org/doc/37615>.
@article{Halmos1982,
author = {Halmos, Paul R.},
journal = {Pokroky matematiky, fyziky a astronomie},
keywords = {formalization of elementary arithmetic; Goedel's incompleteness theorem; Aristotle; Goedel},
language = {cze},
number = {2},
pages = {93-101},
publisher = {Jednota českých matematiků a fyziků Union of Czech Mathematicians and Physicists},
title = {Logika od A do G. Návrh matematikova mechanického pomocníka volně zpracovaný tvůrčím matematikem},
url = {http://eudml.org/doc/37615},
volume = {27},
year = {1982},
}
TY - JOUR
AU - Halmos, Paul R.
TI - Logika od A do G. Návrh matematikova mechanického pomocníka volně zpracovaný tvůrčím matematikem
JO - Pokroky matematiky, fyziky a astronomie
PY - 1982
PB - Jednota českých matematiků a fyziků Union of Czech Mathematicians and Physicists
VL - 27
IS - 2
SP - 93
EP - 101
LA - cze
KW - formalization of elementary arithmetic; Goedel's incompleteness theorem; Aristotle; Goedel
UR - http://eudml.org/doc/37615
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.