Disappointed? Visit (in alphabetical order):
Stanley N. Burris, the author of "Logic For Mathematics & Computer Science"
William J. Greenberg, Let X = X But Not Necessarily.
David Hestenes, Modeling Instruction Program.
Roger Bishop Jones, RBJones.com.

Alexander Sakharov, the online resource center Foundations of Mathematics.
Analogical Reasoning, by
John F. Sowa and Arun K. Majumdar.
Peter Suber
, Kurt Godel in Blue Hill.
Doron Zeilberger, "Real" Analysis is a Degenerate Case of Discrete Analysis.