[<< wikibooks] Shelf:Mathematical logic
< Pure mathematics< Computer science