Hostname: page-component-5b777bbd6c-ks5gx Total loading time: 0 Render date: 2025-06-20T09:52:10.614Z Has data issue: false hasContentIssue false

Measuring the Relative Complexity of Mathematical Constructions and Theorems

Published online by Cambridge University Press:  13 February 2020

Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Thesis Abstracts
Copyright
Copyright © The Association for Symbolic Logic 2020