| |
| 1999 | ||
|---|---|---|
| 4 | EE | Gregory S. Tseytin: A Formalization of Reasoning not Derived from Standard Predicate Logic. Theor. Comput. Sci. 224(1-2): 291-317 (1999) |
| 1997 | ||
| 3 | Gregory S. Tseytin: Association Nets: an Alternative Formalization of Common Thinking. LFCS 1997: 385-398 | |
| 1979 | ||
| 2 | Gregory S. Tseytin: From logicism of proceduralsm (an autobiographical account). Algorithms in Modern Mathematics and Computer Science 1979: 390-396 | |
| 1972 | ||
| 1 | Gregory S. Tseytin: Some feature of a language for a proof- checking programming system. International Sympoisum on Theoretical Programming 1972: 394-407 | |