| Title:
|
Ještě o elementární logice (Czech) |
| Title:
|
Once more on elementary logic (English) |
| Author:
|
Hájek, Petr |
| Language:
|
Czech |
| Journal:
|
Pokroky matematiky, fyziky a astronomie |
| ISSN:
|
0032-2423 |
| Volume:
|
43 |
| Issue:
|
4 |
| Year:
|
1998 |
| Pages:
|
324-325 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03A05 |
| MSC:
|
03B10 |
| . |
| Date available:
|
2010-12-11T17:07:03Z |
| Last updated:
|
2012-08-25 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/139749 |
| . |
| Reference:
|
[1] Fiala, J.: Je elementární logika totéž co logika 1. řádu?.Pokroky mat. fyz. astr. 42 (1997), 127–133. |
| Reference:
|
[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. |
| Reference:
|
[3] Hintikka, J.: Language, Truth and Logic in Mathematics.Kluwer 1998. Zbl 0894.03001, MR 1603112 |
| Reference:
|
[4] Peregrin, J.: Co je elementární logika?.Pokroky mat. fyz. astr. 43 (1998), 45–47. |
| Reference:
|
[5] Feferman, S.: Transfinite recursive progressions of axiomatic theories.Journal Symb. Logic 27 (1962), 259–316. MR 0172792 |
| Reference:
|
[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. Zbl 0857.03034, MR 1441099 |
| . |
