Foundations of Mathematical Logic (Dover Books on Mathematics)

3,86 valoración promedio
( 14 valoraciones por GoodReads )
 
9780486634623: Foundations of Mathematical Logic (Dover Books on Mathematics)
From the Publisher:

Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.

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

Comprar nuevo Ver libro

Gastos de envío: EUR 14,03
De Estados Unidos de America a España

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Curry, Haskell B.
Editorial: Dover Publishers
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Cantidad: > 20
Librería
INDOO
(Avenel, NJ, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publishers. Estado de conservación: New. Brand New. Nº de ref. de la librería 0486634620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 12,80
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 14,03
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

2.

Curry, Haskell B.
Editorial: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Paperback Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications, 2010. Paperback. Estado de conservación: New. 2 Revised. Nº de ref. de la librería DADAX0486634620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 21,52
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 13,09
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

3.

Curry, Haskell B.
Editorial: Dover Publications (1977)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Paperback Cantidad: 1
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Dover Publications, 1977. Paperback. Estado de conservación: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock. Nº de ref. de la librería zk0486634620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 36,61
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,36
De Reino Unido a España
Destinos, gastos y plazos de envío

4.

Curry, Haskell B.
Editorial: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications, 2010. Paperback. Estado de conservación: New. book. Nº de ref. de la librería 0486634620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 23,87
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 35,54
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

5.

Curry, Haskell B.
Editorial: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Paperback Cantidad: 3
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications, 2010. Paperback. Estado de conservación: New. Nº de ref. de la librería P110486634620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 55,53
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 18,69
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

6.

Curry, Haskell B.
Editorial: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuevos Tapa blanda Cantidad: 1
Librería
Book Deals
(Lewiston, NY, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications, 2010. Estado de conservación: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: Preface; Explanation of Conventions Chapter 1. Introduction 1. The nature of mathematical logic 2. The logical antinomies 3. The nature of mathematics 4. Mathematics and logic 5. Supplementary topics Chapter 2. Formal Systems 1. Preliminaries 2. Theories 3. Systems 4. Special forms of systems 5. Algorithms 6. Supplementary topics Chapter 3. Epitheory 1. The nature of epitheory 2. Replacement and monotone relations 3. The theory of definition 4. Variables 5. Supplementary topics Chapter 4. Relational logical algebra 1. Logical algebras in general 2. Lattices 3. Skolem lattices 4. Classical Skolem lattices 5. Supplementary topics Chapter 5. The Theory of Implication 1. General principles of assertional logical algebra 2. Propositional algebras 3. The systems LA and LC 4. Equivalence of the systems 5. L deducibility 6. Supplementary topics Chapter 6. Negation 1. The nature of negation 2. L systems for negation 3. Other formulations of negation 4. Technique of classical negation 5. Supplementary topics Chapter 7. Quantification 1. Formulation 2. Theory of the L systems 3. Other forms of quantification theory 4. Classical epitheory 5. Supplementary topics Chapter 8. Modality 1. Formulation of necessity 2. The L theory of necessity 3. The T and H formulations of necessity 4. Supplementary topics Bibliography; Index. Nº de ref. de la librería ABE_book_new_0486634620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 44,85
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 70,14
De Estados Unidos de America a España
Destinos, gastos y plazos de envío