Subject:Mathematical logic

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: Algorithms 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 Set Theory Category:Subject:Mathematical logicCategory:Half-finished books In subsections: Data Structures Category:Half-finished booksCategory:Subject:Mathematical logic Partly developed books Finite Model Theory Mathematical Proof 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 Logic and Set Theory Mathematical Proof and the Principles of Mathematics Category:Subject:Mathematical logic In subsections: File Checksum Integrity Verifier (FCIV) Examples 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: Algorithms Category:Featured booksCategory:Subject:Mathematical logic

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.