Subject:Mathematical logic

From Wikibooks, the open-content textbooks collection

Wikipedia has related information at Mathematical logic

< Computer science
< Mathematics

Books in this subject area 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.

Mathematical Logic Books	Related Subjects
Logic for Computer Scientists Beginning Rigorous Mathematics Mathematical Logic Mathematical Proof Systems Of Logic Formal Logic Logic for Computer Science Finite Model Theory	Algorithms and data structures
	Featured Books
	Formal Logic
	Print-ready Books
	PDF Books
	Books with Public Collections