Home > Research > Publications & Outputs > The mathematician as a formalist

Associated organisational unit

View graph of relations

The mathematician as a formalist

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter

Published
Publication date1998
Host publicationTruth in mathematics
EditorsH.G. Dales, Gianluigi Oliveri
Place of PublicationOxford
PublisherClarendon Press
Pages181-200
Number of pages20
ISBN (print)9780198514763
<mark>Original language</mark>English

Publication series

NameOxford Science Publications