Properties of a logical system in the calculus of structures
Aus International Center for Computational Logic
Properties of a logical system in the calculus of structures
Masterarbeit von Alwen Fernanto Tiu
- Betreuer Steffen Hölldobler
- Wissensverarbeitung
- – 01. April 2001