Cover Image
Read Now

1
by Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- The classical reasoner -- Basic concepts -- First-order logic -- Zermelo-Fraenkel set theory -- Higher-order...”
Cover Image
Read Now

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure -- A New Foundation...”