Katalin Bimbo의 책들 - BookPine

Combinatory Logic: Pure, Applied and Typed

Combinatory Logic: Pure, Applied and Typed

Katalin Bimbo

Mathematical Logic

Katalin Bimbo

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

Katalin Bimbo

The Algebra of Intensional Logics

The Algebra of Intensional Logics

J. Michael Dunn

Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3

Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3

Katalin Bimbo

J. Michael Dunn on Information Based Logics

J. Michael Dunn on Information Based Logics

Katalin Bimbo

Proof Theory: Sequent Calculi and Related Formalisms

Proof Theory: Sequent Calculi and Related Formalisms

Katalin Bimbo

Combinatory Logic

Combinatory Logic

Katalin Bimbo

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Katalin Bimbo

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Katalin Bimbo

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Katalin Bimbo

Textbooks in Mathematics

Textbooks in Mathematics

Gary Chartrand