Code: 19780825
Proof Complexity
by KRAJ EK JAN
Self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
- Language:
English - Binding: Hardback
- Number of pages: 530
Publisher: Cambridge University Press, 2019
- More about this
You might also like
-
Song of the Forever Rains
9.52 € -27 % -
Alternativy (dějin) filosofie
12.86 € -22 % -
Ex libris eroticis - Intégrale
33.94 € -
Anaxagorás
8.50 € -26 % -
Spánek a sny
10.83 € -11 % -
Clarinet Plus Band 3
18.43 € -16 % -
Sous un ciel étoilé
12.46 € -
Bird & Blend Tea Book
16.10 € -24 % -
Captives and Companions
18.13 € -25 % -
Logical Foundations of Proof Complexity
81.98 € -
Atlas de Citología y Anatomía Patológica Ginecológica Clínica: Elementos de colposcopia
99.51 € -
Archie Giant Comics Hop
10.83 € -25 % -
Exhibitionism
27.15 € -15 % -
Atomic and Molecular Physics
175.72 € -
Rhodesia Civil Service List 1902
13.06 € -1 % -
Jessica's First Prayer
7.29 € -6 % -
International Symposium on History of Machines and MechanismsProceedings HMM 2000
216.77 € -
Alistirmalarla Sarf
23.10 € -4 % -
Arithmetic, Proof Theory, and Computational Complexity
121.10 € -
Pedacio Dioscorides Anazarbeo, Annotado Por El Doctor Andres Laguna...
40.93 € -2 % -
Patsy
31.91 € -2 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Proof Complexity
You get 464 loyalty points
Book synopsis
Self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
Book details
Book category Books in English Mathematics & science Mathematics Mathematical foundations
191.94 €
- Full title: Proof Complexity
- Author: KRAJ EK JAN
- Language: English
- Binding: Hardback
- Number of pages: 530
- EAN: 9781108416849
- ISBN: 9781108416849
- ID: 19780825
- Publisher: Cambridge University Press
- Weight: 908 g
- Dimensions: 166 × 242 × 33 mm
- Date of publishing: 28. March 2019
Trending among others
-
Introduction to Logic and to the Methodology of Deductive Sciences
12.05 € -
Goedel's Proof
13.47 € -24 % -
To Mock a Mockingbird: and Other Logic Puzzles
14.48 € -24 % -
Logic: A Very Short Introduction
10.02 € -24 % -
Proofs and Refutations
21.07 € -24 % -
Conceptual Mathematics
68.20 € -
Beginner's Guide to Mathematical Logic
18.23 € -25 % -
Introduction to Mathematical Logic
21.68 € -25 % -
Contributions to the Founding of the Theory of Transfinite Numbers
12.86 € -
Categories for Types
91.40 € -
Limitless Mind
16.91 € -25 % -
Elements of Mathematics
23.81 € -2 % -
Teaching Multiplication Using LEGO(R) Bricks
19.65 € -7 % -
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems
20.97 € -
Set Theory
25.83 € -9 % -
Naive Set Theory
9.82 € -
Taking Sudoku Seriously
35.06 € -
Sets for Mathematics
68.20 € -
Naive Set Theory
10.33 € -
From Frege to Goedel
60.39 € -
Lattice Theory: Special Topics and Applications
109.54 € -
Schaum's Outline of Boolean Algebra and Switching Circuits
24.52 € -17 % -
Model Theory
25.12 € -25 % -
Foundations of Mathematics and Other Logical Essays
17.52 € -
First-order Logic
8.60 € -24 % -
Problem-solving Strategies In Mathematics: From Common Approaches To Exemplary Strategies
25.33 € -
Naive Set Theory
11.85 € -25 % -
Category Theory in Context
25.12 € -25 % -
Math Mammoth Grade 4-B Worktext
21.17 € -25 % -
Lambda-Calculus and Combinators
91.40 € -
Illustrated Book of Bad Arguments
12.76 € -24 % -
Can You Solve My Problems?
11.85 € -25 % -
Foundations of Geometry
9.82 € -
Foundation Maths
70.83 € -
Topoi
21.58 € -25 % -
Categories for the Working Mathematician
67.59 € -
Undecidable Theories
11.34 € -24 % -
Beginner's Further Guide To Mathematical Logic, A
25.33 € -
Algebraic Logic
11.34 € -15 % -
Set Theory and the Continuum Hypothesis
11.34 € -24 % -
Haskell Road to Logic, Maths and Programming
25.22 € -10 % -
Mathematical Logic
80.66 € -
Gödel's Incompleteness Theorems
60.80 € -
Interactive Theorem Proving and Program Development
95.76 € -
Lattice Theory: Foundation
80.36 € -
Handbook of Epistemic Logic
29.89 € -10 % -
Introduction to Modern Set Theory
11.34 € -
Axiomatic Set Theory
12.76 € -24 % -
Computability and Logic
43.06 €
Shopping guide
Books by language
Collection points Bratislava a 12122 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
24248 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)