Thread Tree View: sci.logic
1 messages
Depth: 0
Build time: 395.467107msms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Question about Intuitionistic/Constructive logics
From: Sanjiva Prasad
Date: Wed, 12 Aug 1992 11:07
Article: 194
Message-ID: <1992Aug12.110747.3850@ecrc.de>
Debug Information
Tree Statistics
- Root Article: 194
- Message Count: 1
- Max Depth: 0
- Cache Hit: No
- Build Time: 395.467107ms
Thread Root
- Subject: Question about Intuitionistic/Constructive logics
- From: Sanjiva Prasad
- Date: Wed, 12 Aug 1992 11:07
- Article: 194