Skip to main navigation Skip to search Skip to main content

The Interpretability Logic of all Reasonable Arithmetical Theories

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of PublicationUtrecht
PublisherUniversiteit Utrecht
Number of pages25
Volume008
EditionArtificial Intelligence Preprint Series
Publication statusPublished - 1999

Bibliographical note

preprint

Cite this