Notation systems for infinitary derivations |
| |
Authors: | Wilfried Buchholz |
| |
Affiliation: | (1) Mathematisches Institut der Universität München, Theresienstrasse 39, W-8000 München 2, Federal Republic of Germany |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|