Logic of Arithmetic

Name: Logic of Arithmetic
Brand: Taylor & Francis Ltd
SKU: 9789056992682
Price: 160.13 EUR
Availability: InStock

Autor: Walter Felscher

Jazyk:

Väzba: Pevná

Vydavateľ: Taylor & Francis Ltd

Dostupnosť: Skladom u dodávateľa

Odosielame za 14-21 dní

160.13 €

For propositional logic it can be decided whether a formula has a deduction from a finite set of oth...

Informácie o knihe

Autor

Walter Felscher

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2000

Stránok

312

EAN

9789056992682

ISBN

9789056992682

Enbook ID

06703392

Vydavateľ

Taylor & Francis Ltd

Hmotnosť

740

Rozmery

152 x 229 x 25

Kompletný popis

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

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Logic of Arithmetic

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež