Normal view
MARC view
- Bewijstheorie
Bewijstheorie (Topical Term)
Machine generated authority record.
Work cat.: (JGU)2750681: Logic Colloquium (1997 : Leeds, England) 938363, Models and computability :, 1999.