Concepts
First-order logic
—monthly views
0copies owned
—player watchlists
Wiki Binder · Collection
formal system
92 cards · 24 shown here
Concepts
Peano axioms
—monthly views
0copies owned
—player watchlists
Concepts
Propositional logic
—monthly views
0copies owned
—player watchlists
Concepts
Fuzzy logic
—monthly views
0copies owned
—player watchlists
Concepts
Type system
—monthly views
0copies owned
—player watchlists
Concepts
Type safety
—monthly views
0copies owned
—player watchlists
Concepts
NAND logic
—monthly views
0copies owned
—player watchlists
Concepts
Homotopy type theory
—monthly views
0copies owned
—player watchlists
Concepts
Second-order logic
—monthly views
0copies owned
—player watchlists
Concepts
Three-valued logic
—monthly views
0copies owned
—player watchlists
Concepts
Axiomatic system
—monthly views
0copies owned
—player watchlists
Concepts
Hoare logic
—monthly views
0copies owned
—player watchlists
Concepts
Hindley–Milner type system
—monthly views
0copies owned
—player watchlists
Concepts
Classical logic
—monthly views
0copies owned
—player watchlists
Concepts
Term logic
—monthly views
0copies owned
—player watchlists
Concepts
Higher-order logic
—monthly views
0copies owned
—player watchlists
Concepts
Gradual typing
—monthly views
0copies owned
—player watchlists
Concepts
System F
—monthly views
0copies owned
—player watchlists
Concepts
Linear temporal logic
—monthly views
0copies owned
—player watchlists
Concepts
Intuitionistic type theory
—monthly views
0copies owned
—player watchlists
Concepts
Type inference
—monthly views
0copies owned
—player watchlists
Concepts
Substructural type system
—monthly views
0copies owned
—player watchlists
Concepts
Presburger arithmetic
—monthly views
0copies owned
—player watchlists
Concepts
New Foundations
—monthly views
0copies owned
—player watchlists
Collect every card of this collection.
Start collecting