TY  - BOOK
AU  - Matou�sek, Jir�
AU  -  Ne�set�ril, Jaroslav
TI  - Invitation to Discrete Mathematics
SN  - 978-0-19-857042-4
AV  - QA39.3.M427 
CY  - Oxford
KW  -  Finite model theory
KW  -  Model theory
KW  - Computer science--Mathematics
KW  - Mathematics
ER  -