av Cristopher Moore |
av Sara Negri |
|
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 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 av Charles Petzold | Basic Proof Theory av A. S. Troelstra | Logic as a Tool av Valentin Goranko | How to Prove It av Daniel J. Velleman |
|
|
|
|
|
|
|
|
|
| | | |
Gödel : mannen som krossade den matemat... av Rebecca Goldstein | A First Course in Logic av Shawn Hedman | Set Theory av Daniel W. Cunningham | A Course on Set Theory av Ernest Schimmerling |
|
|
|
|