A Problem Course in Mathematical Logic; by Stefan Bilaniuk
euclid.trentu.caVolume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.