Logic of Arithmetic - Walter Felscher - Grāmatas - Taylor & Francis Ltd - 9789056992682 - 2000. gada 30. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Logic of Arithmetic 1. izdevums

Cena
€ 199,49

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

Paredzamā piegāde . gada 17. - 31. aug.
Saņemiet paziņojumus par jauniem Walter Felscher izdevumiem
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 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 visu

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