Handbook of Proof Theory, Volume 137 (Studies in Logic and the Foundations of Mathematics)

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780444898401: Handbook of Proof Theory, Volume 137 (Studies in Logic and the Foundations of Mathematics)

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.

The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

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

Review:

Toshiyasu Arai
The Handbook is most welcome in the logic community. I recommend the Handbook to researchers and graduate students in logic, mathematics, computer science, philosophy, linguistics, artificial intelligence, automated reasoning and cognitive sciences.
Bulletin of Symbolic Logic

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

I migliori risultati di ricerca su AbeBooks

1.

Editore: ELSEVIER SCIENCE TECHNOLOGY, United Kingdom (1998)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Rilegato Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro ELSEVIER SCIENCE TECHNOLOGY, United Kingdom, 1998. Hardback. Condizione libro: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. Codice libro della libreria EOD9780444898401

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 140,35
Convertire valuta

Aggiungere al carrello

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

2.

Buss, Samuel R.
Editore: Elsevier (2016)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Elsevier, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780444898401_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 140,36
Convertire valuta

Aggiungere al carrello

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

3.

BUSS, S.R.
Editore: Elsevier Science (1998)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Rilegato Quantità: 10
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Elsevier Science, 1998. Hardback. Condizione libro: NEW. 9780444898401 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0898101

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 151,48
Convertire valuta

Aggiungere al carrello

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

4.

BUSS, S.R.
Editore: Elsevier Science (1998)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Rilegato Quantità: 10
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Elsevier Science, 1998. Hardback. Condizione libro: NEW. 9780444898401 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE01203616

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 151,48
Convertire valuta

Aggiungere al carrello

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

5.

Buss, Samuel R.
Editore: Elsevier Science (1998)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Quantità: > 20
Print on Demand
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Elsevier Science, 1998. HRD. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IP-9780444898401

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 166,62
Convertire valuta

Aggiungere al carrello

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

6.

Buss, S.R.
Editore: Elsevier Science (1998)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Elsevier Science, 1998. HRD. Condizione libro: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Codice libro della libreria IP-9780444898401

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 163,38
Convertire valuta

Aggiungere al carrello

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

7.

Editore: Elsevier Science (1998)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Rilegato Quantità: 1
Print on Demand
Da
Valutazione libreria
[?]

Descrizione libro Elsevier Science, 1998. Condizione libro: New. This item is printed on demand for shipment within 3 working days. Codice libro della libreria GM9780444898401

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 189,33
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

8.

S.R. Buss (Editor)
Editore: Elsevier Science (1998)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Elsevier Science, 1998. Hardcover. Condizione libro: New. 1. Codice libro della libreria DADAX0444898409

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 196,93
Convertire valuta

Aggiungere al carrello

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

9.

Editore: ELSEVIER SCIENCE TECHNOLOGY, United Kingdom (1998)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Rilegato Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro ELSEVIER SCIENCE TECHNOLOGY, United Kingdom, 1998. Hardback. Condizione libro: New. Language: English . Brand New Book ***** Print on Demand *****.This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. Codice libro della libreria APC9780444898401

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 201,61
Convertire valuta

Aggiungere al carrello

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

10.

Editore: ELSEVIER SCIENCE TECHNOLOGY, United Kingdom (1998)
ISBN 10: 0444898409 ISBN 13: 9780444898401
Nuovi Rilegato Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro ELSEVIER SCIENCE TECHNOLOGY, United Kingdom, 1998. Hardback. Condizione libro: New. Language: English . Brand New Book ***** Print on Demand *****. This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. Codice libro della libreria APC9780444898401

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 202,79
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro