1960
Axioma's van Heyting, programmaband II R1082, 230267, B0081
Publication
Publication
Heyting's axioms, program tape II
This is the converted file from the 7 hole punched papertape. The source is ALGOL 60. There is a binary file, which is only programmatically readable, and a text file.
| Additional Metadata | |
|---|---|
| ALGOL 60 | |
| CWI Archive L040 Tape 14 | |
| Organisation | Information & Documentation |
|
Axioma's van Heyting, programmaband II R1082, 230267, B0081. (1960). Axioma's van Heyting, programmaband II R1082, 230267, B0081. ALGOL 60. |
|
| Additional Files | |
|---|---|
| b14.7 Final Version , 7kb | |
| b14.txt Final Version , 4kb | |
| View at homepage Final Version | |