Thread Tree View: sci.logic
3 messages
Depth: 1
Build time: 760.193645msms
| 3 messages | Max depth: 1
Thread Tree
3 nodes
max depth: 1
2 leaves
Root Message
How does one formalize "small" mathematical theories?
From: Russell Turpin
Date: Sun, 13 Sep 1992 19:13
Article: 168
Message-ID: <1903t2INNanu@cs.utexas.edu>
Debug Information
Tree Statistics
- Root Article: 168
- Message Count: 3
- Max Depth: 1
- Cache Hit: No
- Build Time: 760.193645ms
Thread Root
- Subject: How does one formalize "small" mathematical theories?
- From: Russell Turpin
- Date: Sun, 13 Sep 1992 19:13
- Article: 168