User:Lord Farin/Books

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


 * Howson:.
 * 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:.
 * Progress at User:Lord_Farin/Long-Term Projects/MLCS
 * On hold: don't care for more CS appproach to logic


 * Halmos/Givant:.
 * Progress at User:Lord_Farin/Long-Term Projects/Givant-Halmos
 * On hold: motivation for filling in the huge gaps currently absent


 * Awodey:.
 * Progress at User:Lord_Farin/Long-Term Projects/Awodey
 * On hold: too little background covered


 * Schilling:.
 * Progress at User:Lord_Farin/Long-Term Projects/Schilling
 * Currently on hold since I don't master the theory on martingales (yet)


 * Conway:.
 * Progress kept at User:Lord_Farin/Long-Term Projects/Conway Course
 * Currently on hold since the basis is missing