Articoli correlati a Logic of Arithmetic: The Logic of Arithmetic: 003
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 113,19
EUR 23,06 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per Logic of Arithmetic: The Logic of Arithmetic: 003
Foto dell'editore
Logic of Arithmetic (Lectures on Mathematical Logic)
Editore:
CRC Press, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Antico o usato
Rilegato
Prima edizione
Da: JuddSt.Pancras, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: As New. 1st Edition. Codice articolo c31593
Quantità: 1 disponibili
Immagini fornite dal venditore
Lectures on Mathematical Logic Volume III: The Logic of Arithmetic
Editore:
Gordon and Breach Science Publishers, Amsterdam, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Antico o usato
Rilegato
Prima edizione
Da: Bookworks [MWABA, IOBA], Beloit, WI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hard Cover. Condizione: Very Good. No Jacket. First Edition. Third only of a series of volumes of lectures on mathematical theory intended for mature students & lecturers, this discussing "various properties of the arithmetic of natural numbers" including "decidability and undecidability, completeness and incompleteness, consistency and the limitations to establish it." Felscher was a notable lecturer at the University of Tübingen. Hardcover, as pictured; no jacket, as issued. Light wear to book; minor scuffing, small nick to front hinge groove. Text clean; x, 300 pages; index, references, plenty of equations. Size: Octavo. Codice articolo u0419
Quantità: 1 disponibili
Immagini fornite dal venditore
Lectures on mathematical logic / 3 : the logic of arithmetic
Editore:
Gordon and Breach, Amsterdam, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Antico o usato
Rilegato
Da: Schürmann und Kiewning GbR, Naumburg, Germania
Valutazione del venditore 5 su 5 stelle
Hardcover/Pappeinband. Condizione: Sehr gut. x, 300 Seiten Sprache: Englisch Gewicht in Gramm: 650. Codice articolo 129947
Quantità: 1 disponibili
Foto dell'editore
003: Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: New. Codice articolo 6666-TNFPD-9789056992682
Quantità: 5 disponibili
Foto dell'editore
Logic of Arithmetic
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 312 This item is printed on demand. Codice articolo 5360621
Quantità: 3 disponibili
Immagini fornite dal venditore
Logic of Arithmetic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. 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 599121787
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
HRD. 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 L1-9789056992682
Quantità: Più di 20 disponibili
Foto dell'editore
Logic of Arithmetic
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 312. Codice articolo 262520114
Quantità: 4 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 ria9789056992682_new
Quantità: Più di 20 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
HRD. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9789056992682
Quantità: Più di 20 disponibili