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

Matematisk logik

Sök i Matematisk logik

How to Prove It

av Daniel J. Velleman

Logic as a Tool

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

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…

The Annotated Turing Category Theory A First Course in Logic A Course on Set Theory
The Annotated Turing av Charles PetzoldCategory Theory av Steve AwodeyA First Course in Logic av Shawn HedmanA Course on Set Theory av Ernest Schimmerling

Conceptual Mathematics Set Theory An Invitation to Applied Category Theory An Introduction to Probability and Inductive Logic
Conceptual Mathematics av F. William LawvereSet Theory av Daniel W. CunninghamAn Invitation to Applied Category Theory av Brendan FongAn Introduction to Probability and Indu... av Ian Hacking
  1. Godel, Escher, Bach av Douglas R. Hofstadter
  2. How to Solve It av G. Polya
  3. 3
  4. How to Prove It av Daniel J. Velleman
  5. 5
  6. 6
  7. Computability and Logic av George S. Boolos
  8. 8
  9. 9
  10. 10