Publications written by: Bimbó, Katalin
Filter on:
Combinatory Logic : Pure, Applied and Typed
Combinatory Logic : Pure, Applied and Typed
9781032921181
Published: 2024
$ 102.15  
Proof Theory : Sequent Calculi and Related Formalisms
Proof Theory : Sequent Calculi and Related Formalisms
9781032920771
Published: 2024
$ 103.49  
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
$ 27.60  
Mathematical Logic
Mathematical Logic
9781498744133
Published: 2021
$ 103.38  
Proof Theory : Sequent Calculi and Related Formalisms
Proof Theory : Sequent Calculi and Related Formalisms
9781466564664
Published: 2014
$ 160.43  
Combinatory Logic : Pure, Applied and Typed
Combinatory Logic : Pure, Applied and Typed
9781439800003
Published: 2011
$ 213.93  
Combinatory Logic : Pure, Applied and Typed
Combinatory Logic : Pure, Applied and Typed
9781439800010
Published: 2011
$ 267.76  
Generalized Galois Logics : Relational Semantics of Nonclassical Logical Calculi
Generalized Galois Logics : Relational Semantics of Nonclassical Logical Calculi
9781575865737
Published: 2009
$ 112.46  
Generalized Galois Logics : Relational Semantics of Nonclassical Logical Calculi
Generalized Galois Logics : Relational Semantics of Nonclassical Logical Calculi
9781575865744
Published: 2008
$ 52.71