Semantics based on states of affairs
Page 1
Miroslav Mleziva (1975)
Kybernetika
Anatolij Dvurečenskij (1978)
Mathematica Slovaca
Finn Jensen (1976)
Fundamenta Mathematicae
Miroslav Mleziva (1975)
Kybernetika
Ján Šipoš (1978)
Mathematica Slovaca
Jean-Pierre Barthélémy (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Page 1