کتاب های Katalin Bimbó (eds.)

J. Michael Dunn on Information Based Logics
Katalin Bimbó (eds.), 2016
J. Michael Dunn on Information Based Logics
Katalin Bimbo(eds.), 2016
Proof Theory: Sequent Calculi and Related Formalisms
Katalin Bimbo, 2014
Combinatory Logic. Pure, Applied and Typed
Katalin Bimbó, 2012