Thread Tree View: sci.logic
1 messages
Depth: 0
Build time: 2.408225708sms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
October 25: Pavel Pudlak: Bounded Arithmetic
From: Helmut Veith (gottlob)
Date: Mon, 17 Oct 1994 14:36
Article: 702
Message-ID: <37u25d$gdf@news.tuwien.ac.at>
Debug Information
Tree Statistics
- Root Article: 702
- Message Count: 1
- Max Depth: 0
- Cache Hit: No
- Build Time: 2.408225708s
Thread Root
- Subject: October 25: Pavel Pudlak: Bounded Arithmetic
- From: Helmut Veith (gottlob)
- Date: Mon, 17 Oct 1994 14:36
- Article: 702