Foundational Theories of Classical and Constructive Mathematics (2011)
Attributed to:
Foundations of Logical Consequence
funded by
AHRC
Abstract
No abstract provided
Bibliographic Information
Type: Book Chapter
Page Reference: 110
ISBN: 978-94-007-0430-5