|
|||||
|
|
A sequence formalization for SCI |
|
| Authors: | Anita Wasilewska |
| Affiliation: | (1) Institute of Mathematics, University of Warsaw, Pa!["lmidot"]("/content/782552583051552p/xlarge320.gif") ac Kultury i Nauki, Warszawa, Poland |
| Abstract: | This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].Allatum est die 20 Aprilis 1974 |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |