Title: An axiomatic investigation of provability as a primitive predicate
Authors: Horsten, Leon
Issue Date: 2002
Publisher: Hänsel-Hohenhausen
Host Document: Principles of truth pages:203-220
ISBN: 3-8267-1204-8
Publication status: published
KU Leuven publication type: IHb
Appears in Collections:Centre for Logic and Analytical Philosophy

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.