Logic of Arithmetic (Bog, Hardback, Engelsk) af Walter Felscher
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Mængdelære
  6. Logic of Arithmetic

Logic of Arithmetic

(Bog, Hardback, Engelsk)
Forfatter: Walter Felscher
Logic of Arithmetic
Forlag: Taylor & Francis Ltd

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk logik Mængdelære
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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).

Læsernes anmeldelser (0)

Alle detaljer

Forlag Taylor & Francis Ltd
Forfatter Walter Felscher
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 30-05-2000
Første udgivelsesår 2000
Originalsprog United Kingdom
Sideantal 312
Indbinding Hardback
Forlag Taylor & Francis Ltd
Sideoplysninger 312 pages
Mål 229 x 152
ISBN-13 / EAN-13 9789056992682