Katalin Bimbó

2 books

Combinatory Logic: Pure, Applied and Typed by Katalin Bimbó

Combinatory Logic: Pure, Applied and Typed

Katalin Bimbó

357 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi by J. Michael Dunn, Katalin Bimbó

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

CSLI Lecture Notes

J. Michael Dunn, Katalin Bimbó

382 pages • missing pub info (editions)

nonfiction mathematics philosophy medium-paced