Jan Krajícek – författare
Visar alla böcker från författaren Jan Krajícek. Handla med fri frakt och snabb leverans.
6 produkter
Arithmetic, Proof Theory, and Computational Complexity
Inbunden, 1993
1811 kr
Lägg i varukorg
This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. Issuing from a two-year NSF and Czech Academy of Sciences …
Bounded Arithmetic, Propositional Logic and Complexity Theory
Av Jan Krajicek, G. -C Rota m. fl.
Inbunden, 1995
2312 kr
Lägg i varukorg
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 …
Logic Colloquium '01
Av Jan Krajicek, Sy-David Friedman m. fl.
E-bok
1435 kr
Lägg i varukorg
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twentieth publication in the Lecture …
Logic Colloquium '01
Lecture Notes In Logic, 20
Av Matthias Baaz, Sy-David Friedman m. fl.
Inbunden, 2005
996 kr
Lägg i varukorg
A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present …
Logic Colloquium '01
Lecture Notes In Logic, 20
Av Matthias Baaz, Sy-David Friedman m. fl.
Häftad, 2005
638 kr
Lägg i varukorg
A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present …
