An introduction to mathematical logic and type theory : to truth through proof /

Lignende værker

• Elements of logic and foundations of mathematics in problems /
  af: Wiktor, Marek
  Udgivet: (1982)
• Introduction to mathematical logic
  af: Mendelson, Elliott
  Udgivet: (1979)
• Logic of mathematics : a modern course of classical logic /
  af: Adamowicz, Zofia
  Udgivet: (1997)
• Sets, logic, and axiomatic theories /
  af: Stoll, Robert Roth
  Udgivet: (1961)
• Principles of mathematical logic /
  af: Hilbert, D.
  Udgivet: (1990)