Recomienda este artículo a tus amigos:
Logic of Arithmetic Walter Felscher 1.º edición
Precio
$ 179,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 18 de jun. - 7 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de mayo de 2000 |
| ISBN13 | 9789056992682 |
| Editores | Taylor & Francis Ltd |
| Páginas | 312 |
| Dimensiones | 152 × 229 × 25 mm · 740 g |
| Lengua | Inglés |
Mas por Walter Felscher
Mostrar todo
Mere med samme udgiver
Ver todo de Walter Felscher ( Ej. Paperback Book y Hardcover Book )