Order Total (1 Item Items):
Shipping Destination:
Krajícek Jan (123 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (123)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (97)
- As New, Fine or Near Fine (17)
- Very Good or Good (9)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (41)
- Not Print on Demand (90)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Logic Colloquium '01: Lecture Notes In Logic, 20
Book 23 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812485 ISBN 13: 9781568812489
Seller: Green Ink Booksellers, Hay-on-Wye, POWYS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. - Minor shelfwear - ow Clean bright tight book 504 pages.
-
![Stock image for Logic Colloquium '01: Lecture Notes In Logic, 20 [Hardcover] [Mar 07, 2005] Baaz, Matthias; Friedman, Sy-David and Krajícek, Jan for sale by Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9781568812472-uk-300.jpg)
Logic Colloquium '01: Lecture Notes In Logic, 20 [Hardcover] [Mar 07, 2005] Baaz, Matthias; Friedman, Sy-David and Krajícek, Jan
Language: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812477 ISBN 13: 9781568812472
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Some minor shelf wear otherwise in a very good condition, content is excellent throughout.
-
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Book 23 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812485 ISBN 13: 9781568812489
Condition: As New. Unread book in perfect condition.
-
Forcing With Random Variables and Proof Complexity: 382 (London Mathematical Society Lecture Note Series, Series Number 382)
Book 315 of 387: London Mathematical Society Lecture NotesLanguage: English
Published by Cambridge University Press, 2011
ISBN 10: 0521154332 ISBN 13: 9780521154338
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Book contains pen & pencil markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:9780521154338.
-
Logic Colloquium '01: Lecture Notes In Logic, 20 [Paperback] [Jul 03, 2005] Baaz, Matthias; Friedman, Sy-David and Krajícek, Jan
Book 23 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812485 ISBN 13: 9781568812489
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Unused. A few light scratches and minor shelf wear on cover. Content is fine.
-
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Book 23 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812485 ISBN 13: 9781568812489
Condition: New.
-
Proof Complexity Generators
Language: English
Published by Cambridge University Press, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Condition: New.
-
Logic Colloquium '01: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held In Vienna, Austria, August 1-6, 2001
Language: English
Published by Association for Symbolic Logic, USA, 2005
ISBN 10: 1568812477 ISBN 13: 9781568812472
First Edition
Hardcover. Condition: Fine. 1st Edition. 486 pages. Hardcover without dust jacket as issued. Lecture Notes in Logic. A like new fine copy.
-
Proof Complexity Generators
Language: English
Published by Cambridge University Press, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Condition: As New. Unread book in perfect condition.
-
Logic Colloquium '01
Book 23 of 39: Lecture Notes in LogicLanguage: English
Published by A.K. Peters, Limited, 2005
ISBN 10: 1568812485 ISBN 13: 9781568812489
Condition: New. pp. 504.
-
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Book 23 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812485 ISBN 13: 9781568812489
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Arithmetic, proof theory, and computational complexity
Language: English
Published by Oxford: Clarendon Press, 1993
ISBN 10: 0198536909 ISBN 13: 9780198536901
Hardcover. Condition: Very Good. pp.xii,428, hardback (publisher's dark blue cloth, a broad gilt-lettered red band taking up most of the spine, at the bottom of which is the OUP open-book logo in gilt), a near-fine ex-library copy (no dust-jacket) of a book in the Oxford Logic Guides series [0198536909].
-
Proof Complexity Generators
Language: English
Published by Cambridge University Press, GB, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research.
-
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Book 23 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812485 ISBN 13: 9781568812489
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Proof Complexity Generators
Language: English
Published by Cambridge University Press, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Logic Colloquium '01
Book 23 of 39: Lecture Notes in LogicLanguage: English
Published by A.K. Peters, Limited, 2005
ISBN 10: 1568812485 ISBN 13: 9781568812489
Condition: New. pp. 504.
-
Proof Complexity Generators (London Mathematical Society Lecture Note Series, Series Number 497)
Language: English
Published by Cambridge University Press, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Proof Complexity Generators (Paperback)
Language: English
Published by Cambridge University Press, Cambridge, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Paperback. Condition: new. Paperback. The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research. This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Proof Complexity Generators
Language: English
Published by Cambridge University Press, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Logic Colloquium '01: Lecture Notes In Logic, 20
Book 23 of 39: Lecture Notes in LogicLanguage: English
Published by Taylor & Francis Inc, 2005
ISBN 10: 1568812485 ISBN 13: 9781568812489
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Paperback. Condition: Brand New. 143 pages. 9.02x5.98x0.50 inches. In Stock.
-
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Language: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812477 ISBN 13: 9781568812472
Condition: As New. Unread book in perfect condition.
-
Forcing With Random Variables and Proof Complexity
Book 315 of 387: London Mathematical Society Lecture NotesLanguage: English
Published by Cambridge University Press, 2011
ISBN 10: 0521154332 ISBN 13: 9780521154338
Condition: New.
-
Condition: Good. Volume 23. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,950grams, ISBN:0198536909.
-
Logic Colloquium '01 : Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria, August 6-11, 2001
Language: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812477 ISBN 13: 9781568812472
Condition: New.
-
Logic Colloquium '01
Language: English
Published by Taylor and Francis Inc, 2005
ISBN 10: 1568812477 ISBN 13: 9781568812472
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Logic Colloquium '01
Language: English
Published by Taylor and Francis Inc, 2005
ISBN 10: 1568812477 ISBN 13: 9781568812472
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Paperback. Condition: Brand New. illustrated edition. 496 pages. 8.75x6.00x1.25 inches. In Stock.
-
Proof Complexity Generators
Language: English
Published by Cambridge University Press, 2025
ISBN 10: 1009611704 ISBN 13: 9781009611701
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Logic Colloquium '01: Lecture Notes In Logic, 20
Language: English
Published by A K Peters/CRC Press, 2005
ISBN 10: 1568812477 ISBN 13: 9781568812472
Condition: new.
