About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
Previous
|
Up
|
Next
DML-CZ Home
Pokroky matematiky, fyziky a astronomie
Volume 11
Author: Hájek, Petr
Hájek, Petr
:
Syntaktické metody matematické logiky
.
(Czech) [Syntactical methods of mathematical logic].
Pokroky matematiky, fyziky a astronomie
,
vol. 11 (1966), issue 1
,
pp. 22-31
Search
Search
This Community
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of