Artículos relacionados a Logic of Arithmetic: The Logic of Arithmetic: 003 (Lectures...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Felscher, Walter
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 113,25
EUR 17,30 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Logic of Arithmetic: The Logic of Arithmetic: 003 (Lectures...
Imagen de archivo
Logic of Arithmetic (Lectures on Mathematical Logic)
Publicado por
CRC Press, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Antiguo o usado
Tapa dura
Original o primera edición
Librería: JuddSt.Pancras, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: As New. 1st Edition. Nº de ref. del artículo: c31593
Cantidad disponible: 1 disponibles
Imagen del vendedor
Lectures on Mathematical Logic Volume III: The Logic of Arithmetic
Publicado por
Gordon and Breach Science Publishers, Amsterdam, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Antiguo o usado
Tapa dura
Original o primera edición
Librería: Bookworks [MWABA, IOBA], Beloit, WI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hard Cover. Condición: 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. Nº de ref. del artículo: u0419
Cantidad disponible: 1 disponibles
Imagen de archivo
003: Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: 6666-TNFPD-9789056992682
Cantidad disponible: 5 disponibles
Imagen de archivo
Logic of Arithmetic
Publicado por
Taylor & Francis Group, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Nuevo
Tapa dura
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 312 This item is printed on demand. Nº de ref. del artículo: 5360621
Cantidad disponible: 3 disponibles
Imagen de archivo
Logic of Arithmetic (Lectures on Mathematical Logic)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9789056992682_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic of Arithmetic
Publicado por
Taylor and Francis Ltd, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Nuevo
Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9789056992682
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logic of Arithmetic
Publicado por
Taylor & Francis Group, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Nuevo
Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 312. Nº de ref. del artículo: 262520114
Cantidad disponible: 4 disponibles
Imagen de archivo
Logic of Arithmetic
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9789056992682
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logic of Arithmetic
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: 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. Nº de ref. del artículo: 599121787
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Lectures on Mathematical Logic: The Logic of Arithmetic: Vol 003
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 1st edition. 312 pages. 9.00x6.00x0.75 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __9056992686
Cantidad disponible: 1 disponibles