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 Logic as a Tool Basic Proof Theory How to Prove It
The Annotated Turing av Charles PetzoldLogic as a Tool av Valentin GorankoBasic Proof Theory av A. S. TroelstraHow 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
  1. Godel, Escher, Bach av Douglas R. Hofstadter
    1
  2. 2
  3. How to Solve It av G. Polya
    3
  4. The Penguin Book of Puzzles av Gareth Moore
    4
  5. Proofs and Refutations av Imre Lakatos
    5
  6. Classical Descriptive Set Theory av Alexander Kechris
    6
  7. Making Up Your Own Mind av Edward B. Burger
    7
  8. Essays in Radical Empiricism av William James
    8
  9. Incompleteness av Rebecca Goldstein
    9
  10. 10