title | media type | ISBN-13 | year of publica- tion | other author(s) | |
---|---|---|---|---|---|
Combinatory Logic: Pure, Applied and Typed | Hardcover | 978-1-4398-0000-3 | 2011 | Katalin Bimbó | |
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi | " | 978-1-57586-573-7 | 2008 | Katalin Bimbó · J. Michael Dunn | |
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi | Paperback | 978-1-57586-574-4 | 2008 | Katalin Bimbó · J. Michael Dunn | |
J. Michael Dunn on Information Based Logics | Taschenbuch | 978-3-319-80535-1 | 2018 | ||
J. Michael Dunn on Information Based Logics | Gebunden | 978-3-319-29298-4 | 2016 | ||
Mathematical Logic | Hardcover | 978-1-4987-4413-3 | 2021 | ||
Proceedings of the 4th Symposium on Logic and Language | Broschiert | 978-963-85084-1-6 | 1992 | ||
Proof Theory: Sequent Calculi and Related Formalisms | Hardcover | 978-1-4665-6466-4 | 2014 |
CRC Press · Center for the Study of Language and Inf · Springer · Áron