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

Logic as a Tool

av Valentin Goranko
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 …

Logic as a Tool

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal Logical Reasoning is intended for undergraduates in both mathematics and computer science…

How to Prove It The Annotated Turing A First Course in Logic Category Theory
How to Prove It av Daniel J. VellemanThe 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. 9
  10. The Annotated Turing av Charles Petzold