Weak applicative theories, truth, and computational complexity

TitleWeak applicative theories, truth, and computational complexity
Publication TypePhD Thesis
Year of Publication2013
AuthorsEberhard, S
URLhttp://www.iam.unibe.ch/ltgpub/2013/ebe13.pdf