The books the Library of the Institute of Computer Science
The books received from the MIKOM Publisher
The books received after the Conference Typed Lambda Calculi and Applications 2001
The
books received from the
MIKOM Publisher 
The
books received from the
MIKOM Publisher
The books received after
the Conference Typed Lambda
Calculi and Applications 2001