Subject:Mathematical logic

< Pure mathematics
< Computer science

Mathematical logic 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.

Completed books Category:Subject:Mathematical logicCategory:Completed books In subsections: Category:Subject:Mathematical logic/all booksCategory:Completed booksCategory:Subject:Mathematical logic Books nearing completion Formal Logic Logic for Computer Scientists Category:Subject:Mathematical logicCategory:Books nearing completion In subsections: Algorithm Implementation Category:Subject:Mathematical logic/all booksCategory:Books nearing completionCategory:Subject:Mathematical logic Half-finished books Logic for Computer Science Category:Subject:Mathematical logicCategory:Half-finished books In subsections: Data Structures File Checksum Integrity Verifier (FCIV) Examples Category:Subject:Mathematical logic/all booksCategory:Half-finished booksCategory:Subject:Mathematical logic Partly developed books Finite Model Theory Mathematical Proof and the Principles of Mathematics Set Theory Category:Subject:Mathematical logicCategory:Partly developed books In subsections: RGB+D Video Processing Category:Subject:Mathematical logic/all booksCategory:Partly developed booksCategory:Subject:Mathematical logic Freshly started books Modelling Theory and Practice Systems Of Logic Category:Subject:Mathematical logicCategory:Freshly started books In subsections: Advanced Data Structures and Algorithms Category:Subject:Mathematical logic/all booksCategory:Freshly started booksCategory:Subject:Mathematical logic Unknown completion Category:Subject:Mathematical logicCategory:Books by completion status/all books In subsections: Category:Subject:Mathematical logic/all booksCategory:Subject:Mathematical logicCategory:Books by completion status/all books	Subsections
	Algorithms and data structures Category:Subject:Mathematical logic
	Featured Books
	Formal Logic Category:Subject:Mathematical logicCategory:Featured books In subsections: Category:Subject:Mathematical logic/all booksCategory:Featured booksCategory:Subject:Mathematical logic