A Short Introduction to Intuitionistic Logic by Grigori Mints (English) Hardcove
158,63 €
Basic tchniques are presented first for propositional logic, then part II inroduces extensions to predicate logic. This material provides an introduction and a background for reading research literature in logic and computer science as well as advanced monographs.
Jetzt bei Ebay:
