Thread Tree View: sci.logic
1 messages
Depth: 0
Build time: 850.725247msms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
June 6: Theorem Proving Evening in Vienna
From: Kurt Goedel Society
Date: Tue, 17 May 1994 12:52
Article: 700
Message-ID: <2raen9$kir@email.tuwien.ac.at>
Debug Information
Tree Statistics
- Root Article: 700
- Message Count: 1
- Max Depth: 0
- Cache Hit: No
- Build Time: 850.725247ms
Thread Root
- Subject: June 6: Theorem Proving Evening in Vienna
- From: Kurt Goedel Society
- Date: Tue, 17 May 1994 12:52
- Article: 700