Axiomatic tratments of informal provability as a predicate

LFM Horsten

Research output: Chapter in Book/Report/Conference proceedingChapter in a book

Translated title of the contributionAxiomatic tratments of informal provability as a predicate
Original languageEnglish
Title of host publicationPrinciples of Truth
EditorsV Halbach, L Horsten
PublisherDr Hansel Hohenhausen
Pages203 - 220
Number of pages18
Publication statusPublished - 2002

Cite this