Category:Formal systems

From Infogalactic: the planetary knowledge core

Jump to: navigation, search

Lua error in package.lua at line 80: module 'Module:Category main article' not found.

Subcategories

This category has the following 4 subcategories, out of 4 total.

L

► Logical calculi‎ (2 C, 23 P)

M

► Mathematical axioms‎ (2 C, 18 P)

R

► Rules of inference‎ (30 P)

S

► Systems of set theory‎ (23 P)

Pages in category "Formal systems"

The following 9 pages are in this category, out of 9 total.

Formal system

A

F

P

Physical symbol system

R

Rule of inference

Retrieved from "https://infogalactic.com/w/index.php?title=Category:Formal_systems&oldid=1587404"

Hidden category:

Pages with script errors