Principles of Mathematical Logic认领

This introduction to first-order logic clearly wor

The third edition of this well known text continue

A Mathematical Introduction to Logic, Second Editi

Comprehensive account of constructive theory of fi

A comprehensive one-year graduate (or advanced und