ISBN 10: 0521452058 / ISBN 13: 9780521452052
Usato / Quantità: 0
Copie del libro da altre librerie
Mostra tutte le  copie di questo libro

Libro

Purtroppo questa copia non è più disponibile. Di seguito ti proponiamo una lista di copie simili.

Descrizione:

Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: 1. Introduction; 2. Preliminaries; 3. Basic complexity theory; 4. Basic propositional logic; 5. Basic bounded arithmetic; 6. Definability of computations; 7. Witnessing theorems; 8. Definability and witnessing in second order theories; 9. Translations of arithmetic formulas; 10. Finite axiomatizability problem; 11. Direct independence proofs; 12. Bounds for constant-depth Frege systems; 13. Bounds for Frege and extended Frege systems; 14. Hard tautologies and optimal proof systems; 15. Strength of bounded arithmetic; References; Index. Codice inventario libreria

Su questo libro:

Book ratings provided by GoodReads):
0 valutazione media
(0 valutazioni)

Riassunto: This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. Then more advanced topics are treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, simple independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the approximation method and the method of Boolean valuations, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find his comprehensive treatment an excellent guide to this expanding interdisciplinary area.

Descrizione del libro: This book presents an up-to-date, unified treatment of research in in this interdisciplinary subject with emphasis on independence proofs and lower bound proofs. A basic introduction is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. Then more advanced topics are treated, including Boolean complexity, witnessing theorems, and bounded arithmetic as a system of feasible arguments. Students and researchers in logic and computer science will find this an excellent guide to an expanding area.

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

Dati bibliografici

Condizione libro: New

I migliori risultati di ricerca su AbeBooks

1.

Krajicek, Jan
Editore: Cambridge University Press (1995)
ISBN 10: 0521452058 ISBN 13: 9780521452052
Usato Rilegato Quantità: 1
Da
Books From California
(Simi Valley, CA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1995. Hardcover. Condizione libro: Very Good. Ex-library copy with usual markings. Codice libro della libreria mon0001488084

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 78,64
Convertire valuta

Aggiungere al carrello

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

2.

Krajicek, Jan
Editore: Cambridge University Press (1995)
ISBN 10: 0521452058 ISBN 13: 9780521452052
Usato Rilegato Quantità: 1
Da
Bookbyte
(Salem, OR, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1995. Hardcover. Condizione libro: Good. Has minor wear and/or markings. SKU:9780521452052-3-0-3. Codice libro della libreria 9780521452052-3-0-3

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 87,62
Convertire valuta

Aggiungere al carrello

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

3.

Jan Krajicek
Editore: Cambridge University Press 1995-11-24 (1995)
ISBN 10: 0521452058 ISBN 13: 9780521452052
Usato Rilegato Quantità: 1
Da
Lost Books
(AUSTIN, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press 1995-11-24, 1995. Hardcover. Condizione libro: good. 0521452058. Codice libro della libreria 518167

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 114,92
Convertire valuta

Aggiungere al carrello

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

4.

Jan Krajicek
Editore: Cambridge University Press (1995)
ISBN 10: 0521452058 ISBN 13: 9780521452052
Usato Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1995. Hardcover. Condizione libro: Used: Very Good. Codice libro della libreria SONG0521452058

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 119,44
Convertire valuta

Aggiungere al carrello

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

5.

Krajicek, Jan
Editore: Cambridge University Press (2017)
ISBN 10: 0521452058 ISBN 13: 9780521452052
Usato Rilegato Quantità: 2
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2017. Hardcover. Condizione libro: Very Good. This item is printed on demand. Codice libro della libreria P020521452058

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 131,77
Convertire valuta

Aggiungere al carrello

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

6.

Jan Krajicek
Editore: Cambridge Univ Pr (1996)
ISBN 10: 0521452058 ISBN 13: 9780521452052
Nuovi Rilegato Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge Univ Pr, 1996. Hardcover. Condizione libro: Brand New. 343 pages. 9.75x6.50x1.00 inches. In Stock. Codice libro della libreria __0521452058

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 141,98
Convertire valuta

Aggiungere al carrello

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

7.

Krajicek, Jan
Editore: Cambridge University Press (2016)
ISBN 10: 0521452058 ISBN 13: 9780521452052
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 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 ria9780521452052_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 144,05
Convertire valuta

Aggiungere al carrello

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

8.

JAN KRAJICEK
ISBN 10: 0521452058 ISBN 13: 9780521452052
Nuovi Rilegato Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro 1996. Hardback. Condizione libro: NEW. 9780521452052 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0458018

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 151,38
Convertire valuta

Aggiungere al carrello

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

9.

Krajicek, Jan
Editore: Cambridge University Press (1995)
ISBN 10: 0521452058 ISBN 13: 9780521452052
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1995. 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-9780521452052

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 156,10
Convertire valuta

Aggiungere al carrello

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

10.

Krajicek, Jan
Editore: Cambridge University Press (1995)
ISBN 10: 0521452058 ISBN 13: 9780521452052
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1995. 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-9780521452052

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 158,72
Convertire valuta

Aggiungere al carrello

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

Vedi altre 10 copie di questo libro

Vedi tutti i risultati per questo libro