The Clausal Theory of Types by D.A. Wolfram (English) Paperback Book
37,71 €
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types.
Jetzt bei Ebay:
