# Shelf:Mathematical logic

< Pure mathematicspurge this page's server cache < Computer science
* Mathematical logic
* 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.
| Completed books Category:Shelf:Mathematical logicCategory:Completed booksCategory:Book:Wikibooks Stacks/Shelves In subsections: Category:Shelf:Mathematical logic/all booksCategory:Completed booksCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Books nearing completion Formal Logic Logic for Computer Scientists Category:Shelf:Mathematical logicCategory:Books nearing completionCategory:Book:Wikibooks Stacks/Shelves In subsections: Algorithm Implementation Category:Shelf:Mathematical logic/all booksCategory:Books nearing completionCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Half-finished books Logic for Computer Science Category:Shelf:Mathematical logicCategory:Half-finished booksCategory:Book:Wikibooks Stacks/Shelves In subsections: Data Structures File Checksum Integrity Verifier (FCIV) Examples Category:Shelf:Mathematical logic/all booksCategory:Half-finished booksCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Partly developed books Finite Model Theory Mathematical Proof and the Principles of Mathematics Set Theory Category:Shelf:Mathematical logicCategory:Partly developed booksCategory:Book:Wikibooks Stacks/Shelves In subsections: RGB+D Video Processing Category:Shelf:Mathematical logic/all booksCategory:Partly developed booksCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Freshly started books Modelling Theory and Practice Systems Of Logic Category:Shelf:Mathematical logicCategory:Freshly started booksCategory:Book:Wikibooks Stacks/Shelves In subsections: Advanced Data Structures and Algorithms Category:Shelf:Mathematical logic/all booksCategory:Freshly started booksCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Unknown completion Category:Shelf:Mathematical logicCategory:Books by completion status/all booksCategory:Book:Wikibooks Stacks/Shelves In subsections: Category:Shelf:Mathematical logic/all booksCategory:Shelf:Mathematical logicCategory:Books by completion status/all booksCategory:Book:Wikibooks Stacks/Shelves | Subsections |
| Shelf:Algorithms and data structures Category:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves ||
| Completed books Category:Shelf:Mathematical logicCategory:Completed booksCategory:Book:Wikibooks Stacks/Shelves In subsections: Category:Shelf:Mathematical logic/all booksCategory:Completed booksCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Books nearing completion Formal Logic Logic for Computer Scientists Category:Shelf:Mathematical logicCategory:Books nearing completionCategory:Book:Wikibooks Stacks/Shelves In subsections: Algorithm Implementation Category:Shelf:Mathematical logic/all booksCategory:Books nearing completionCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Half-finished books Logic for Computer Science Category:Shelf:Mathematical logicCategory:Half-finished booksCategory:Book:Wikibooks Stacks/Shelves In subsections: Data Structures File Checksum Integrity Verifier (FCIV) Examples Category:Shelf:Mathematical logic/all booksCategory:Half-finished booksCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Partly developed books Finite Model Theory Mathematical Proof and the Principles of Mathematics Set Theory Category:Shelf:Mathematical logicCategory:Partly developed booksCategory:Book:Wikibooks Stacks/Shelves In subsections: RGB+D Video Processing Category:Shelf:Mathematical logic/all booksCategory:Partly developed booksCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Freshly started books Modelling Theory and Practice Systems Of Logic Category:Shelf:Mathematical logicCategory:Freshly started booksCategory:Book:Wikibooks Stacks/Shelves In subsections: Advanced Data Structures and Algorithms Category:Shelf:Mathematical logic/all booksCategory:Freshly started booksCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Unknown completion Category:Shelf:Mathematical logicCategory:Books by completion status/all booksCategory:Book:Wikibooks Stacks/Shelves In subsections: Category:Shelf:Mathematical logic/all booksCategory:Shelf:Mathematical logicCategory:Books by completion status/all booksCategory:Book:Wikibooks Stacks/Shelves | Featured Books |
| Formal Logic Category:Shelf:Mathematical logic/all booksCategory:Featured booksCategory:Book:Wikibooks Stacks/Shelves ||