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 112,77
EUR 17,23 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 del vendedor
Lectures on mathematical logic / 3 : the logic of arithmetic
Publicado por
Gordon and Breach, Amsterdam, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Antiguo o usado
Tapa dura
Librería: Schürmann und Kiewning GbR, Naumburg, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover/Pappeinband. Condición: Sehr gut. x, 300 Seiten Sprache: Englisch Gewicht in Gramm: 650. Nº de ref. del artículo: 129947
Cantidad disponible: 1 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
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 (Lectures on Mathematical Logic)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-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 del vendedor
Lectures on Mathematical Logic : The Logic of Arithmetic
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 926405-n
Cantidad disponible: 10 disponibles