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

Matematisk logik

Sök i Matematisk logik

Mathematical Logic

av Ian Chiswell

How to Prove It

av Daniel J. Velleman
Mathematical Logic

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction …

How to Prove It

Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a signific…

Logic as a Tool The Annotated Turing A First Course in Logic Category Theory
Logic as a Tool av Valentin GorankoThe Annotated Turing av Charles PetzoldA First Course in Logic av Shawn HedmanCategory Theory av Steve Awodey

A Course on Set Theory Set Theory Conceptual Mathematics An Invitation to Applied Category Theory
A Course on Set Theory av Ernest SchimmerlingSet Theory av Daniel W. CunninghamConceptual Mathematics av F. William LawvereAn Invitation to Applied Category Theory av Brendan Fong
  1. Godel, Escher, Bach av Douglas R. Hofstadter
  2. 2
  3. 3
  4. How to Solve It av G. Polya
  5. 5
  6. Mathematical Logic av Ian Chiswell
  7. How to Prove It av Daniel J. Velleman
  8. 8
  9. Computability and Logic av George S. Boolos
  10. 10