Yazar
Anna Maria Radzikowska
2 cilt bulundu.
Cilt sonuçları
Proof-theoretic semantics
Nissim Francez, Anna Maria Radzikowska, Ingrid M. Rewitzky · College Publications
415 sayfa · 2015
Symbolic and mathematical Logic / Proof theory / Semantics
Dualities for structures of applied logics
Ewa Orlowska, Anna Maria Radzikowska, Ingrid Rewitzky, Ingrid M. Rewitzky · College Publications
381 sayfa · 2015
Symbolic and mathematical Logic / Boolean Algebra
