Paperback in acceptable condition. Ex-library. Laminated covers are lightly marked and scored. Sticker residue on front cover and spine. Leading corners, edges and spine ends are lightly bumped and worn. Page block is marked. Library labels and stamp on rear inside cover. Stains and minor creases throughout pages. Text remains clear throughout. Binding is sound. HCW

From the Back Cover

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-L�wenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the G�del translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory called `cut-elimination' or `normalization'. Chapter 6 is devoted to this topic; it contains the basic facts on the structure of derivations, both classically and intuitionistically. Finally, this edition contains a new chapter on G�del's first incompleteness theorem. The chapter is self-contained, it provides a systematic exposition of primitive recursion and partial recursive functions, recursive by enumerable sets, and recursive separability. The arithmetization of Peano's arithmetic is based on the natural deduction system.

"About this title" may belong to another edition of this title.

Store Description

Libreria abierta a todo tipo de tendencias y gustos, con precios m�s que asequibles. Salvo contadas excepciones, los libros est�n nuevos o en muy buen estado.

Visit Seller's Storefront

Seller's business information

LIBRERIAOESTE SL
CALLE FUENTESAUCO 26, CASA, MADRID, 28024, Spain

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Los gastos de env�o admitidos son los siguientes:
Para promocioes o periodos de env�o gratuito los libros ser�n enviados por CORREO ORDINARIO bajo la responsabilidad del comprador en caso de perdida, retraso o extrav�o.
Los env�os estandar tienen un coste de 3.99€, ser�n enviados por Correos (Paq Premiun ) bajo el servicio certificado en 24/48 horas (El tiempo de servicio puede variar). Los env�os urgentes o prioritarios tendr� un coste de 5,99€ y ser�n cargados por la empresa Correos.
Para resolver cualquier duda p�ngase en contacto con nuestro servicio de atenci�n al cliente.

Shipping rates from Spain to U.S.A.

Shipping rates from Spain to U.S.A.
Order quantity	25 to 45 business days	8 to 14 business days
First item	US$ 28.57	US$ 55.98

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.