
Fundamentals Of Metalogic
Published on 2009-04-1617086 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