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

Matematisk logik

Sök i Matematisk logik

The Annotated Turing

av Charles Petzold

To Mock a Mockingbird: and Other Logic Puzzles

av Raymond Smullyan
The Annotated Turing

Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing Mathematician Alan Turing invented an imaginary computer k…

To Mock a Mockingbird: and Other Logic Puzzles

This is a puzzle book covering logic, philosophy, psychology, artificial intelligence, computer science and mathematics. It contains many puzzles and their solutions and aims to…


Gödel : mannen som krossade den matematiska drömmen Mathematical Logic Cardinal Arithmetic A Study of Logics
Gödel : mannen som krossade den matemat... av Rebecca GoldsteinMathematical Logic av Ian ChiswellCardinal Arithmetic av Saharon ShelahA Study of Logics av John P. Cleave

Category Theory Numbers and Proofs Logic: A Very Short Introduction Mathematical Logic: Part 2
Category Theory av Steve AwodeyNumbers and Proofs av Reg AllenbyLogic: A Very Short Introduction av Graham PriestMathematical Logic: Part 2 av Rene Cori
  1. Godel, Escher, Bach av Douglas R. Hofstadter
    1
  2. How to Prove It av Daniel J. Velleman
    2
  3. 3
  4. How to Solve It av G. Polya
    4
  5. Godel's Proof av Ernest Nagel
    5
  6. 6
  7. Logic as a Tool av Valentin Goranko
    7
  8. The Annotated Turing av Charles Petzold
    8
  9. 9
  10. The Logic of Infinity av Barnaby Sheppard
    10