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.
Altre edizioni note dello stesso 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 76,30
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)
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 4 su 5 stelle
Hardcover. Condizione: As New. 1st Edition. Codice articolo c31593
Compra usato
EUR 57,61
Spedizione EUR 25,37
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a 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
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 166,68
Spedizione EUR 7,49
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 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 172,02
Spedizione EUR 2,30
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 10 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 175,01
Spedizione EUR 3,48
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 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
Compra nuovo
EUR 179,73
Spedizione EUR 5,79
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
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
Compra nuovo
EUR 187,55
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
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 ria9789056992682_new
Compra nuovo
EUR 176,64
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
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 173,15
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili