MPG.eBooks - Author Search Results

Cover Image

1

Set theory : Boolean-valued models and independence proofs

by Bell, J. L.
Published 2005

Oxford University Press

Cover Image

2

A primer of infinitesimal analysis

by Bell, J. L.
Published 2008

Cambridge University Press

Cover Image

3

Higher-order logic and type theory

by Bell, J. L.
Published 2022

Cambridge University Press