Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Logic of Arithmetic

Name: Logic of Arithmetic
Brand: CRC Press
SKU: 47537096
Price: 85.89 EUR
Availability: InStock
Author: Walter Felscher
ISBN: 9781040190951

Walter Felscher

Lingua

Inglese

Libro elettronico Adobe ePub DRM

Casa editrice CRC Press, maggio 2000

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

Codice Libristo: 47537096

210 b

85.89 €

Disponibile Consegna digitale immediata

I clienti hanno acquistato anche

1200 mots chrétiens Roullet Libro

In brossura

19.49 €

Josef Lada Lev Pavluch

Rigido

11.19 €

Arcanadea Plastic Model Kit XenoAlma Blaze Ophis 26 cm Gioco/giocattolo

Giocattolo

49.09 €

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