Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog DRM-beskyttet
ePub version af Logic of Arithmetic af Walter Felscher

Logic of Arithmetic

Af
Bog E-bog
  • Format
  • E-bog, ePub
  • Engelsk
Er ikke web-tilgængelig
E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris

kr. 634,95

Medlemspris

kr. 589,95
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

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 alg

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal312
  • Udgivelsesdato30-05-2000
  • ISBN139781040190951
  • Forlag Crc Press
  • FormatePub

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...