O dynamické logice
Petr Hájek, Pavel Kalášek, Petr Kůrka (1980)
Kybernetika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “O vztahu formy a obsahu v matematice a logice. II”
O dynamické logice
Syntaktické metody matematické logiky
Petr Hájek (1966)
Pokroky matematiky, fyziky a astronomie
Similarity:
O vztahu formy a obsahu v matematice a logice. I
Jiří Hořejš (1965)
Pokroky matematiky, fyziky a astronomie
Similarity:
O druhém Hilbertově problému (Otázka bezespornosti aritmetiky)
Jiří Bečvář (1971)
Pokroky matematiky, fyziky a astronomie
Similarity: