Web Directory
 

Topics in Logic and Proof Theory

  Link Details for: Topics in Logic and Proof Theory
Link Title: Topics in Logic and Proof Theory Open in a new window
Link URL: http://www.maths.bris.ac.uk/~maadb/research/topics/logic/
Link Details: Brief introductions to combinatory logic, the incompleteness theorems and independence results, by Andrew D Burbanks.
Category: Top : Science : Math : Logic_and_Foundations : Proof_Theory
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Topics in Logic and Proof Theory