Geodesic
Ještě o elementární logice
Pokroky matematiky, fyziky a astronomie, Tome 43 (1998) no. 4, pp. 324-325 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03A05, 03B10 
@article{PMFA_1998_43_4_a7,
     author = {H\'ajek, Petr},
     title = {Je\v{s}t\v{e} o element\'arn{\'\i} logice},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {324--325},
     year = {1998},
     volume = {43},
     number = {4},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/item/PMFA_1998_43_4_a7/}
}
TY  - JOUR
AU  - Hájek, Petr
TI  - Ještě o elementární logice
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 1998
SP  - 324
EP  - 325
VL  - 43
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/PMFA_1998_43_4_a7/
LA  - cs
ID  - PMFA_1998_43_4_a7
ER  - 
%0 Journal Article
%A Hájek, Petr
%T Ještě o elementární logice
%J Pokroky matematiky, fyziky a astronomie
%D 1998
%P 324-325
%V 43
%N 4
%U http://geodesic.mathdoc.fr/item/PMFA_1998_43_4_a7/
%G cs
%F PMFA_1998_43_4_a7
Hájek, Petr. Ještě o elementární logice. Pokroky matematiky, fyziky a astronomie, Tome 43 (1998) no. 4, pp. 324-325. http://geodesic.mathdoc.fr/item/PMFA_1998_43_4_a7/

[1] Fiala, J.: Je elementární logika totéž co logika 1. řádu?. Pokroky mat. fyz. astr. 42 (1997), 127–133.

[2] 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.

[3] Hintikka, J.: Language, Truth and Logic in Mathematics. Kluwer 1998. | MR | Zbl

[4] Peregrin, J.: Co je elementární logika?. Pokroky mat. fyz. astr. 43 (1998), 45–47.

[5] Feferman, S.: Transfinite recursive progressions of axiomatic theories. Journal Symb. Logic 27 (1962), 259–316. | MR

[6] 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. | MR | Zbl