Tag

formal-systems

2 entries tagged formal-systems.

Computing & AI

Formal Systems & Mind

Gödel, Escher, BachThe book in one sentence

Philosophy

Logic & Formal Reasoning

K, T, S4 and S5: Change the Arrows, Change the LogicThe previous entry gave us worlds and arrows.