Yazar
Katalin Bimbo
10 cilt bulundu.
Cilt sonuçları
Combinatory logic
Katalin Bimbó · Taylor & Francis
334 sayfa · 2012
Combinatory logic / Logic, symbolic and mathematical / Logique combinatoire / MATHEMATICS / Infinity
Proof theory
Katalin Bimbo · CRC Press, Taylor & Francis Group
376 sayfa · 2015
Proof theory / MATHEMATICS / General / MATHEMATICS / Arithmetic / MATHEMATICS / Set Theory / Théorie de la preuve
Generalized Galois logics
Katalin Bimbó · Center for the Study of Language and Information, Leland Stanford Junior University
Sayfa sayısı yok · 2008
Nonclassical mathematical logic / Modality (Logic) / Galois theory / Semantics / Mathematical models