Geodesic
Je elementární logika totéž co predikátová logika prvního řádu?
Pokroky matematiky, fyziky a astronomie, Tome 42 (1997) no. 3, pp. 127-133 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03-xx, 03B10 
@article{PMFA_1997_42_3_a2,
     author = {Fiala, Ji\v{r}{\'\i}},
     title = {Je element\'arn{\'\i} logika tot\'e\v{z} co predik\'atov\'a logika prvn{\'\i}ho \v{r}\'adu?},
     journal = {Pokroky matematiky, fyziky a astronomie},
     pages = {127--133},
     year = {1997},
     volume = {42},
     number = {3},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/item/PMFA_1997_42_3_a2/}
}
TY  - JOUR
AU  - Fiala, Jiří
TI  - Je elementární logika totéž co predikátová logika prvního řádu?
JO  - Pokroky matematiky, fyziky a astronomie
PY  - 1997
SP  - 127
EP  - 133
VL  - 42
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/PMFA_1997_42_3_a2/
LA  - cs
ID  - PMFA_1997_42_3_a2
ER  - 
%0 Journal Article
%A Fiala, Jiří
%T Je elementární logika totéž co predikátová logika prvního řádu?
%J Pokroky matematiky, fyziky a astronomie
%D 1997
%P 127-133
%V 42
%N 3
%U http://geodesic.mathdoc.fr/item/PMFA_1997_42_3_a2/
%G cs
%F PMFA_1997_42_3_a2
Fiala, Jiří. Je elementární logika totéž co predikátová logika prvního řádu?. Pokroky matematiky, fyziky a astronomie, Tome 42 (1997) no. 3, pp. 127-133. http://geodesic.mathdoc.fr/item/PMFA_1997_42_3_a2/