Denna webbshop är stängd för köp.
Klicka här för mer information

Matematisk logik

Sök i Matematisk logik

The Nature of Computation

av Cristopher Moore

Structural Proof Theory

av Sara Negri
The Nature of Computation

Computational complexity is one of the most beautiful fields of modern mathematics, and it is increasingly relevant to other sciences ranging from physics to biology. But this b…

Structural Proof Theory

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to th…


The Annotated Turing Basic Proof Theory Logic as a Tool How to Prove It
The Annotated Turing av Charles PetzoldBasic Proof Theory av A. S. TroelstraLogic as a Tool av Valentin GorankoHow to Prove It av Daniel J. Velleman

Gödel : mannen som krossade den matematiska drömmen A First Course in Logic Set Theory A Course on Set Theory
Gödel : mannen som krossade den matemat... av Rebecca GoldsteinA First Course in Logic av Shawn HedmanSet Theory av Daniel W. CunninghamA Course on Set Theory av Ernest Schimmerling