Logic of Arithmetic

Name: Logic of Arithmetic
Brand: Taylor & Francis Ltd
SKU: 9789056992682
Price: 717.22 PLN
Availability: InStock

Autor: Walter Felscher

Język:

Oprawa: Twarda

Wydawca: Taylor & Francis Ltd

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

717.22 zł

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

Informacje o książce

Autor

Walter Felscher

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2000

strony

312

EAN

9789056992682

ISBN

9789056992682

Enbook ID

06703392

Wydawca

Taylor & Francis Ltd

Waga

740

Wymiary

152 x 229 x 25

Pełny opis

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

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Logic of Arithmetic

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również