Thread Tree View: sci.logic
1 messages
Depth: 0
Cached
Build time: 656.891µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Axioms for *Skolem* arithmetic
From: Zach R
Date: Thu, 27 Aug 1992 16:23
Article: 176
Message-ID: <5226@sersun1.essex.ac.uk>
Debug Information
Tree Statistics
- Root Article: 176
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 656.891µs
Thread Root
- Subject: Axioms for *Skolem* arithmetic
- From: Zach R
- Date: Thu, 27 Aug 1992 16:23
- Article: 176