411 REFERENCE · Wikibooks
Shelf:Mathematical logic
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Pure mathematics
Computer science
Books on this shelf deal with mathematical logic: the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.