Category: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: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: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: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: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:Freshly started booksCategory:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves Unknown completion Category:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves In subsections: Category:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves	Subsections
	Shelf:Algorithms and data structures Category:Shelf:Mathematical logicCategory:Book:Wikibooks Stacks/Shelves
	Featured Books
	Formal Logic Category:Featured booksCategory:Book:Wikibooks Stacks/Shelves

Subcategories

The following 9 subcategories may be of interest, out of 9 total.

Pages in category "Shelf:Mathematical logic"

More recent additions	More recent modifications
Systems Of Logic Set Theory Modelling Theory and Practice Logic for Computer Science Logic for Computer Scientists Formal Logic Finite Model Theory Mathematical Proof and the Principles of Mathematics Shelf:Algorithms and data structures	Logic for Computer Science Formal Logic Finite Model Theory Modelling Theory and Practice Set Theory Systems Of Logic Mathematical Proof and the Principles of Mathematics Logic for Computer Scientists Shelf:Algorithms and data structures

Category:Shelf:Mathematical logic

Subcategories

F

L

M

S

Pages in category "Shelf:Mathematical logic"

F

L

M

S