Aspects of Incompleteness (Lecture Notes in Logic) on incompleteness, (non-)finite axiomatizability, interpretability, etc. The reader is assumed to be acquainted with this method and with the elements of recursion theory.This book presents some of the main areas and results of general met
Showing posts with label Incompleteness. Show all posts
Showing posts with label Incompleteness. Show all posts
Saturday, September 24, 2016
Subscribe to:
Posts (Atom)