Thread Tree View: sci.logic
1 messages
Depth: 0
Cached
Build time: 807.918µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
inconsistent proofs
From: Tony Dale
Date: Tue, 21 Jul 1992 17:28
Article: 83
Message-ID: <Brr1vv.A6w@newcastle.ac.uk>
Debug Information
Tree Statistics
- Root Article: 83
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 807.918µs
Thread Root
- Subject: inconsistent proofs
- From: Tony Dale
- Date: Tue, 21 Jul 1992 17:28
- Article: 83