Semantical Investigations in Heyting's Intuitionistic Logic by Dov M. Gabbay (En
161,99 €
Semantical Investigations in Heyting's Intuitionistic Logic. From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. In the later chapters of this book, I have included material that might be of interest to the intuitionist mathematician.
Jetzt bei Ebay:
