Publications written by: Bimbo, Katalin
Filter on:
Combinatory Logic : Pure, Applied and Typed
Combinatory Logic : Pure, Applied and Typed
9781032921181
Published: 2024
$ 89.46  
Proof Theory : Sequent Calculi and Related Formalisms
Proof Theory : Sequent Calculi and Related Formalisms
9781032920771
Published: 2024
$ 88.46  
Relevance Logics and Other Tools for Reasoning. Essays in Honor of J. Michael Dunn
Relevance Logics and Other Tools for Reasoning. Essays in Honor of J. Michael Dunn
9781848903951
Published: 2022
$ 25.00  
Mathematical Logic
Mathematical Logic
9781498744133
Published: 2021
$ 93.64  
Proof Theory : Sequent Calculi and Related Formalisms
Proof Theory : Sequent Calculi and Related Formalisms
9781466564664
Published: 2014
$ 100.81  
Combinatory Logic : Pure, Applied and Typed
Combinatory Logic : Pure, Applied and Typed
9781439800003
Published: 2011
$ 193.78  
Combinatory Logic : Pure, Applied and Typed
Combinatory Logic : Pure, Applied and Typed
9781439800010
Published: 2011
$ 93.74  
Generalized Galois Logics : Relational Semantics of Nonclassical Logical Calculi
Generalized Galois Logics : Relational Semantics of Nonclassical Logical Calculi
9781575865737
Published: 2009
$ 101.86  
Generalized Galois Logics : Relational Semantics of Nonclassical Logical Calculi
Generalized Galois Logics : Relational Semantics of Nonclassical Logical Calculi
9781575865744
Published: 2008
$ 47.75