Conte aos seus amigos sobre este item:
Logic of Arithmetic Walter Felscher 1º edição
Logic of Arithmetic
Walter Felscher
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulae. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic).
312 pages, 200 line illustrations, indices
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 30 de maio de 2000 |
| ISBN13 | 9789056992682 |
| Editoras | Taylor & Francis Ltd |
| Páginas | 312 |
| Dimensões | 152 × 229 × 25 mm · 740 g |
| Idioma | Inglês |