TY  - BOOK
AU  - Matuszewski,Roman
AU  - Zalewska,Anna
ED  - Uniwersytet (Białystok).
TI  - From insight to proof: Festschrift in honour of Andrzej Trybulec 
T2  - Studies in Logic, Grammar and Rhetoric,
SN  - 9788374311281
PY  - 2007///
CY  - Białystok
PB  - University of Białystok
KW  - Trybulec, Andrzej
KW  - Języki programowania
KW  - matematyka
KW  - miscellanea
KW  - kaba
KW  - Języki programowania logicznego
KW  - Matematyka
KW  - informatyka
KW  - Księgi pamiątkowe
KW  - Polska
N1  - Bibliogr. przy rozdz; Dostępny również w formie elektronicznej
UR  - http://pbc.biaman.pl/dlibra/docmetadata?id=25608&from=publication
ER  -