From insight to proof : Festschrift in honour of Andrzej Trybulec / guest ed. Roman Matuszewski, Anna Zalewska. - Białystok : University of Białystok, 2007. - X, 399, [1] s. : il. ; 25 cm. - Studies in Logic, Grammar and Rhetoric, 10 (23) 0860-150X ; . - Studies in Logic, Grammar and Rhetoric 10 (23) .

Bibliogr. przy rozdz.



9788374311281


Trybulec, Andrzej (1941-2013).


Języki programowania--matematyka--miscellanea.
Języki programowania logicznego--miscellanea.
Matematyka--informatyka--miscellanea.
Księgi pamiątkowe--Polska.

082(438) : 51 : 004.4