Logic of Arithmetic - Walter Felscher - Knjige - Taylor & Francis Ltd - 9780367398576 - 5. septembra 2019
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Walter Felscher
Logic of Arithmetic 1. izdaja

Cena
€ 101,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 27. nov - 11. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Walter Felscher

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. 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). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.

312 pages

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 5. septembra 2019
ISBN13 9780367398576
Založniki Taylor & Francis Ltd
Strani 312
Dimenzije 150 × 220 × 10 mm   ·   453 g
Jezik Angleščina  

Več od Walter Felscher

Prikaži vse

Več od istega **izdajatelja**

Ogled vseh Walter Felscher