Foundations of Mathematical Logic

Valutazione media 3,86
( su 14 valutazioni fornite da GoodReads )
 
9780486634623: Foundations of Mathematical Logic

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti:

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Curry, Haskell B.
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Quantità: > 20
Da
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2010. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria V0-9780486634623

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 11,86
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,67
In U.S.A.
Destinazione, tempi e costi

2.

Curry, Haskell B.
Editore: Dover Publishers
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publishers. Condizione libro: New. Brand New. Codice libro della libreria 0486634620

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 12,59
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,22
In U.S.A.
Destinazione, tempi e costi

3.

Haskell B. Curry
Editore: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Paperback Quantità: 1
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2010. Paperback. Condizione libro: New. Codice libro della libreria 0486634620

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 16,95
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,75
In U.S.A.
Destinazione, tempi e costi

4.

Haskell B. Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Paperback Quantità: 1
Da
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. 2nd. 142mm x 208mm x 20mm. Paperback. 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 .Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 416 pages. 0.433. Codice libro della libreria 9780486634623

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 22,74
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

5.

Haskell B. Curry
Editore: Dover Publications Inc.
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Paperback Quantità: 1
Da
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc. Paperback. Condizione libro: new. BRAND NEW, Foundations of Mathematical Logic (2nd edition), Haskell B. Curry. Codice libro della libreria B9780486634623

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 17,34
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,01
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Haskell B. Curry
Editore: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2010. Paperback. Condizione libro: New. book. Codice libro della libreria 0486634620

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 26,16
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

7.

Haskell B. Curry
Editore: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2010. Paperback. Condizione libro: New. 2 Revised. Codice libro della libreria DADAX0486634620

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 22,92
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,67
In U.S.A.
Destinazione, tempi e costi

8.

Curry, Haskell B.
Editore: Dover Publications
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi PAPERBACK Quantità: 1
Da
Russell Books
(Victoria, BC, Canada)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486634620 Special order direct from the distributor. Codice libro della libreria ING9780486634623

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,64
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,44
Da: Canada a: U.S.A.
Destinazione, tempi e costi

9.

Haskell B. Curry
Editore: Dover Publications (1977)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Paperback Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 1977. Paperback. Condizione libro: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock. Codice libro della libreria x-0486634620

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,70
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,08
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Haskell B. Curry
Editore: Dover Publications (2010)
ISBN 10: 0486634620 ISBN 13: 9780486634623
Nuovi Paperback Quantità: 2
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2010. Paperback. Condizione libro: New. Codice libro della libreria P110486634620

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,18
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,75
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro