1967-02-23
Output begrip axioma's Heyting I, 230267, B0078
Publication
Publication
Output concept of Heyting's axioms I
This is the converted file from the 7 hole punched paper tape. The source is readable text (Flexowriter). There is a binary file, which is only programmatically readable, and a text file.
| Additional Metadata | |
|---|---|
| Flexowriter, readable text | |
| CWI Archive L040 Tape 12 | |
| Organisation | Information & Documentation |
|
Output begrip axioma's Heyting I, 230267, B0078. (1967). Output begrip axioma's Heyting I, 230267, B0078. Flexowriter, readable text. |
|
| Additional Files | |
|---|---|
| b12.7 Final Version , 8kb | |
| b12.txt Final Version , 5kb | |
| View at homepage Final Version | |