Fundamentals Of Metalogic
Published on Apr 16, 200917068 Views
This course provides an introduction to the metatheory of elementary logic. Following a "refresher" on the basics of notation and the use of classical logic as a representation language, we concentrat