It looks like you're offline.
Open Library logo
additional options menu

Sato / Lists

This edition is on 0 lists.

This reader hasn't created any lists yet.

Recent Activity

When What Who Comment
6 seconds ago ejeandel Added Unsolvable classes of quantificational formulas to the list.
24 seconds ago ejeandel Added Complexity, logic, and recursion theory to the list.
38 seconds ago ejeandel Added Recursion theory to the list.
1 minute ago ejeandel Added The decision problem to the list.
1 minute ago el4ctr0n Added Elinor Wylie to the list.