Povej prijatelju o tem izdelku:
Logic of Arithmetic Walter Felscher 1. izdaja
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
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 30. maja 2000 |
| ISBN13 | 9789056992682 |
| Založniki | Taylor & Francis Ltd |
| Strani | 312 |
| Dimenzije | 152 × 229 × 25 mm · 740 g |
| Jezik | Angleščina |
Božična darila lahko vrnete do 31. januarja