ALPO
Subtitle: a language that's proof oriented
By: Piotr Dembiński ... [et al.]
Series: Reports - Computation Centre, Polish Academy of Sciences -- 218; CC PAS reports -- v.218
Publisher: PKiN
Published: 1975
Place of publication: Warsaw
Language: eng
Number of pages: 59
Notes: Summary in English, Russian and Polish.