Orłowska, Ewa (1935- )
VIAF ID: 306146201 ( Personal )
Permalink: http://viaf.org/viaf/306146201
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Biographical note | |
Discrete dualities for double stone algebras | |
Dual tableaux | |
Generalized Galois logics : relational semantics of nonclassical logics | |
Logic with nondeterministic worlds semantics | |
Maszyny matematyczne i ich zastosowania | |
Mechanical proof methods for Post logics | |
Systemy Herbranda dowodzenia twierdzeń rachunku predykatów |