The Heyting doctrines
Page 1
Displaying 1 – 7 of 7
The internal and external aspect of logic and set theory in elementary topoi
Gerhard Osius (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
The lattices of numerations of theories containing Peano's arithmetic
Stanislav Palúch (1973)
Commentationes Mathematicae Universitatis Carolinae
The observational predicate calculus and complexity of computations (Preliminary communication)
Pavel Pudlák (1975)
Commentationes Mathematicae Universitatis Carolinae
Theory of types and data description
Pavel Materna (1978)
Kybernetika
Time change of objects and problem of their identification
Roman Bek (1976)
Kybernetika
Types of preference
Ladislav Tondl (1974)
Kybernetika
Currently displaying 1 – 7 of 7
Page 1