The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised EditionHendrik Pieter BarendregtEsaurito4,3Avvisami
Biomedicínská informatika III. - Systémy pro podporu lékařského rozhodováníJana ZvárováEsauritoAvvisami
