There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN: 9780511581007

Publication date (Print): 2009

Publication date (Online): 2009

DOI: 10.1017/CBO9780511581007

SO-VID: 17698993-20ea-46e6-9ecc-220d13093361

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 32

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods
Authors: Jesse Alama, Tom Heskes, Daniel Kühlwein …
The weakness of being cohesive, thin or free in reverse mathematics
Authors: Ludovic Patey
Proofs and Retributions, Or: Why Sarah Can’t Take Limits
Authors: Mikhail G. Katz, Karin Katz, Vladimir Kanovei …

See all cited by

Subsystems of Second Order Arithmetic

Read this book at