Pastāsti draugiem par šo preci:
Logic of Arithmetic Walter Felscher 1. izdevums
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2000. gada 30. maijs |
| ISBN13 | 9789056992682 |
| Izdevēji | Taylor & Francis Ltd |
| Lapas | 312 |
| Izmēri | 152 × 229 × 25 mm · 740 g |
| Valoda | Angļu |
Vairāk no Walter Felscher
Rādīt visuVairāk no tā paša izdevēja
Skatīt visus Walter Felscher ( piem., Paperback Book un Hardcover Book )