About DML-CZ
|
FAQ
|
Conditions of Use
|
Math Archives
|
Contact Us
DML-CZ Home
02B10
Ivánek, Jiří
:
The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)
.
(English).
Commentationes Mathematicae Universitatis Carolinae
,
vol. 18 (1977), issue 1
,
pp. 41-57
Baranskij, V. A.; Trahtman, A. N.
:
О подполугрупповых графах
.
(Russian) [On Subsemigroup Graphs].
Matematický časopis
,
vol. 20 (1970), issue 2
,
pp. 135-140
Search
Advanced Search
Browse
Collections
Titles
Authors
MSC
About DML-CZ
Partner of