Once more on elementary logic
Pokroky matematiky, fyziky a astronomie (1998)
- Volume: 43, Issue: 4, page 324-325
- ISSN: 0032-2423
Access Full Article
top
How to cite
topHájek, Petr. "Ještě o elementární logice." Pokroky matematiky, fyziky a astronomie 43.4 (1998): 324-325. <http://eudml.org/doc/37410>.
@article{Hájek1998,
author = {Hájek, Petr},
journal = {Pokroky matematiky, fyziky a astronomie},
language = {cze},
number = {4},
pages = {324-325},
publisher = {Jednota českých matematiků a fyziků Union of Czech Mathematicians and Physicists},
title = {Ještě o elementární logice},
url = {http://eudml.org/doc/37410},
volume = {43},
year = {1998},
}
TY - JOUR
AU - Hájek, Petr
TI - Ještě o elementární logice
JO - Pokroky matematiky, fyziky a astronomie
PY - 1998
PB - Jednota českých matematiků a fyziků Union of Czech Mathematicians and Physicists
VL - 43
IS - 4
SP - 324
EP - 325
LA - cze
UR - http://eudml.org/doc/37410
ER -
References
top- Fiala, J., Je elementární logika totéž co logika 1. řádu?, Pokroky mat. fyz. astr. 42 (1997), 127–133. (1997)
- Hájek, P., Sochor, A., Klasická logika v kontextu svých zobecnění a boj docenta Fialy proti větrným mlýnům, Pokroky mat. fyz. astr. 43 (1998), 39–45. (1998)
- Hintikka, J., Language, Truth and Logic in Mathematics, Kluwer 1998. (1998) Zbl0894.03001MR1603112
- Peregrin, J., Co je elementární logika?, Pokroky mat. fyz. astr. 43 (1998), 45–47. (1998)
- Feferman, S., Transfinite recursive progressions of axiomatic theories, Journal Symb. Logic 27 (1962), 259–316. (1962) Zbl0217.30401MR0172792
- Feferman, S., Gödel’s program for new axioms: why, where, how and what?, In: Gödel ’96, Lect. Notes in Logic, vol. 6, Springer-Verlag 1996, 3–22. (1996) Zbl0857.03034MR1441099
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.