Articoli correlati a 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
Dalla quarta di copertina
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 "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Logic of Arithmetic: 003
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
Compra usato
EUR 74,99
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic of Arithmetic (Lectures on Mathematical Logic)
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Codice articolo OTV.9056992686.G
Compra usato
EUR 87,34
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
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
Compra usato
EUR 91,95
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 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
Compra nuovo
EUR 192,54
Spedizione EUR 3,42
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Lectures on Mathematical Logic : The Logic of Arithmetic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 926405-n
Compra nuovo
EUR 193,72
Spedizione EUR 2,26
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Logic of Arithmetic
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 312 This item is printed on demand. Codice articolo 5360621
Compra nuovo
EUR 190,36
Spedizione EUR 7,60
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 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 IG-9789056992682
Compra nuovo
EUR 192,80
Spedizione EUR 5,87
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Lectures on Mathematical Logic : The Logic of Arithmetic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 926405-n
Compra nuovo
EUR 192,79
Spedizione EUR 17,53
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Logic of Arithmetic (Lectures on Mathematical Logic)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9789056992682
Compra nuovo
EUR 211,74
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic of Arithmetic
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 312. Codice articolo 182520120
Compra nuovo
EUR 206,14
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili