کتاب های Katalin Bimbo

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