TY  - BOOK
AU  - MOVSHOVITZ HADAR NITSA
TI  - LOGIC IN WONDERLAND AN INTRODUCTION TO L
U1  - 511.30 MOV  
PY  - 2019///
CY  - New Jersey
PB  - World Scientific
ER  -