Subject:Mathematical logic

< Pure mathematicspurge this page's server cache
< 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: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: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: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: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:Freshly started booksCategory:Subject:Mathematical logic Unknown completion Category:Subject:Mathematical logic In subsections: Category:Subject:Mathematical logic	Subsections
	Algorithms and data structures Category:Subject:Mathematical logic
	Featured Books
	Formal Logic Category:Subject:Mathematical logicCategory:Featured books In subsections: Category:Featured booksCategory:Subject:Mathematical logic