Geodesic
K axiomatisaci trojhodnotové výrokové logiky
Časopis pro pěstování matematiky, Tome 086 (1961) no. 4, pp. 392-403.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

DOI : 10.21136/CPM.1961.117388
Classification : 02-25 
@article{10_21136_CPM_1961_117388,
     author = {Mleziva, Miroslav},
     title = {K axiomatisaci trojhodnotov\'e v\'yrokov\'e logiky},
     journal = {\v{C}asopis pro p\v{e}stov\'an{\'\i} matematiky},
     pages = {392--403},
     publisher = {mathdoc},
     volume = {086},
     number = {4},
     year = {1961},
     doi = {10.21136/CPM.1961.117388},
     mrnumber = {0131971},
     zbl = {0100.00902},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117388/}
}
TY  - JOUR
AU  - Mleziva, Miroslav
TI  - K axiomatisaci trojhodnotové výrokové logiky
JO  - Časopis pro pěstování matematiky
PY  - 1961
SP  - 392
EP  - 403
VL  - 086
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117388/
DO  - 10.21136/CPM.1961.117388
LA  - cs
ID  - 10_21136_CPM_1961_117388
ER  - 
%0 Journal Article
%A Mleziva, Miroslav
%T K axiomatisaci trojhodnotové výrokové logiky
%J Časopis pro pěstování matematiky
%D 1961
%P 392-403
%V 086
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117388/
%R 10.21136/CPM.1961.117388
%G cs
%F 10_21136_CPM_1961_117388
Mleziva, Miroslav. K axiomatisaci trojhodnotové výrokové logiky. Časopis pro pěstování matematiky, Tome 086 (1961) no. 4, pp. 392-403. doi : 10.21136/CPM.1961.117388. http://geodesic.mathdoc.fr/articles/10.21136/CPM.1961.117388/

Cité par Sources :