Articoli correlati a Logic of Arithmetic
Sinossi
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 algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Felscher, Walter
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 74,28
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Logic of Arithmetic
Immagini fornite dal venditore
Felscher, W: Logic of Arithmetic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Felscher, WalterFor 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 expre. Codice articolo 594579387
Quantità: Più di 20 disponibili
Foto dell'editore
Logic of Arithmetic (Lectures on Mathematical Logic)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 312. Codice articolo 379604474
Quantità: 3 disponibili
Foto dell'editore
Logic of Arithmetic
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 312 pages. 9.02x5.98x0.67 inches. In Stock. This item is printed on demand. Codice articolo __0367398575
Quantità: 1 disponibili
Foto dell'editore
Logic of Arithmetic
Editore:
Taylor & Francis Ltd, 2019
ISBN 10: 0367398575
ISBN 13: 9780367398576
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days. 580. Codice articolo B9780367398576
Quantità: 1 disponibili
Foto dell'editore
Logic of Arithmetic (Lectures on Mathematical Logic)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 312. Codice articolo 26383250981
Quantità: 3 disponibili
Foto dell'editore
Logic of Arithmetic
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9780367398576
Quantità: Più di 20 disponibili
Foto dell'editore
Logic of Arithmetic
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9780367398576
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic of Arithmetic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 37659200
Quantità: Più di 20 disponibili
Foto dell'editore
Logic of Arithmetic (Lectures on Mathematical Logic)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780367398576_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic of Arithmetic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 37659200-n
Quantità: Più di 20 disponibili