Lectures on Mathematical Logic Volume III: The Logic of Arithmetic

Felscher, Walter

ISBN 10: 9056992686 ISBN 13: 9789056992682

Editorial: Gordon and Breach Science Publishers, Amsterdam, 2000

Condici�n: Usado - Bueno Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Bookworks [MWABA, IOBA], Beloit, WI, Estados Unidos de America

Miembro de asociaci�n:

MWABA
IOBA

Vendedor de AbeBooks desde 23 de noviembre de 1999

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Bueno

Precio: EUR 75,56 Convertir moneda

EUR 22,44 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

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

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Lectures on Mathematical Logic Volume III: The Logic of Arithmetic

Editor

Gordon and Breach Science Publishers, Amsterdam

Fecha de publicaci�n

2000

ISBN 10

9056992686

ISBN 13

9789056992682

Encuadernaci�n

Hard Cover

Edici�n

First Edition.

Estado

Very Good

Estado de la sobrecubierta

No Jacket

Cat�logos de vendedores

Acerca de

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.

Acerca del autor

Felscher, Walter

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Established in 1991, Bookworks has had an on-line presence since 1999, shipping thousands of books to, well, dozens of countries. We have several thousand books on display at Angela's Attic and the Best of Beloit antique malls on Highway 75/Gardner Street in South Beloit, Illinois, and at the Lake Geneva Antique Mall, 829 Williams Street, Lake Geneva, Wisconsin. We have thousands of uncatalogued books, though we're trying very hard to get them listed; please feel free to email or call with any enquiries. Member MWABA (MidWest Antiquarian Booksellers' Association) and IOBA (International Online Bookseller's Association).

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

Bookworks [MWABA, IOBA]
WI, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

All books subject to prior sale, though we do our best to update daily. We accept major credit cards, PayPal, and checks. If you specify PayPal, we will send an invoice. All books are guaranteed to be as described and are returnable with prior notice. We pack them as we would like them to be packed when we order them: securely in a box. NON-USA BUYERS please note: most books with an 'os' in our catalog number are over-size and will require additional shipping, which can be specified if you will ...

M�s informaci�n

Condiciones de env�o

Orders usually ship within 2 business days. International shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. We will request extra shipping for multi-volume SETS going outside the USA, and for some books with our catalog number starting with 'os'