• 

  DROPS - Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words

  http://drops.dagstuhl.de/opus/volltexte/2015/4948

  Keine Beschreibung vorhanden.

• 

  Professorenprofile: Wolf_Michael

  https://www.professoren.tum.de/wolf-michael/

  PersonenIdTUMONLIN

• 

  Mathematical Logic - Ian Chiswell, Wilfrid Hodges - Google Books

  http://books.google.de/books?id=JeUDUWYD5eQC&pg=PA3

  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 and leading up to the completeness theorem for first-order logic. At each stage…

• 

  Metaphysics of an Experimental Epistemologist

  http://www.vordenker.de/metaphysics/metaphysics.htm

  Keine Beschreibung vorhanden.

• 

  Ingo Berensmeyer, The Production of the Author

  http://www.gradnet.de/papers/pomo2.papers/berensen00.htm

  description

---

---