1967-02-23
Output axioma's Heijting II, 230267, B0077
Publication
Publication
Output axioms Heijting II, 230267, B0077
This is the converted file from the 7 hole punched papertape. 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 11 | |
| Organisation | Information & Documentation |
|
Output axioma's Heijting II, 230267, B0077. (1967). Output axioma's Heijting II, 230267, B0077. Flexowriter, readable text. |
|
| Additional Files | |
|---|---|
| b11.7 Final Version , 4kb | |
| b11.txt Final Version , 2kb | |
| View at homepage Final Version | |