Logic of Arithmetic - Walter Felscher - Grāmatas - Taylor & Francis Ltd - 9780367398576 - 2019. gada 5. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Walter Felscher
Logic of Arithmetic 1. izdevums

Cena
€ 103,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 25. aug. - . gada 8. sept.
Saņemiet paziņojumus par jauniem Walter Felscher izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2019. gada 5. septembris
ISBN13 9780367398576
Izdevēji Taylor & Francis Ltd
Lapas 312
Izmēri 150 × 220 × 10 mm   ·   453 g
Valoda Angļu  

Vairāk no Walter Felscher

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Walter Felscher ( piem., Paperback Book un Hardcover Book )