1967-02-23
Axioma's van Heijting, programmaband II, 230267, B0079
Publication
Publication
Heyting's axioms, program tape II
This is the converted file from the 7 hole punched paper tape. 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 10 | |
| Organisation | Information & Documentation |
|
Axioma's van Heijting, programmaband II, 230267, B0079. (1967). Axioma's van Heijting, programmaband II, 230267, B0079. ALGOL 60. |
|
| Additional Files | |
|---|---|
| b10.7 Final Version , 7kb | |
| b10.txt Final Version , 4kb | |
| View at homepage Final Version | |