TY  - BOOK
AU  - Engelfriet,Joost
ED  - Springer-Verlag (Berlin).
TI  - Simple program schemes and formal languages
T2  - Lecture Notes in Computer Science
SN  - 3540069534
PY  - 1974///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logika symboliczna i matematyczna
KW  - kaba
N1  - Bibliogr. s. 248-254. Indeks; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540069539
ER  -