User:Lord Farin/Books

The following books have appeared in various Sources sections through my efforts:

• Kunen: The Foundations of Mathematics

Progress at User:Lord_Farin/Books/Kunen Foundations

• Munkres: Topology, 2nd ed..

Progress at User:Lord_Farin/Long-Term Projects/Munkres

On hold. Bored.

• Howson: A Handbook of Terms used in Algebra and Analysis.

Progress at User:Lord_Farin/Long-Term Projects/Howson

Taken over from Jshflynn

On hold: would be skipping half of the book because it isn't covered yet.

• Ben-Ari: Mathematical Logic for Computer Science, 3rd ed..

Progress at User:Lord_Farin/Long-Term Projects/MLCS

On hold: don't care for more CS appproach to logic

• Halmos/Givant: Introduction to Boolean Algebras.

Progress at User:Lord_Farin/Long-Term Projects/Givant-Halmos

On hold: motivation for filling in the huge gaps currently absent

• Awodey: Category Theory, 2nd ed..

Progress at User:Lord_Farin/Long-Term Projects/Awodey

On hold: too little background covered

• Schilling: Measures, Integrals and Martingales.

Progress at User:Lord_Farin/Long-Term Projects/Schilling

Currently on hold since I don't master the theory on martingales (yet)

• Conway: A Course in Functional Analysis.

Progress kept at User:Lord_Farin/Long-Term Projects/Conway Course

Currently on hold since the basis is missing