An axiomatic investigation of provability as a primitive predicate

Principles of Truth

Volumn , Issue , 2013, Pages 203-220

  Horsten, Leon ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84902268348     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1515/9783110332728     Document Type: Chapter

References (0)