TY  - BOOK
TI  - Introduction to logic for computer science
SN  - 978-1-66686-956-9
U1  - 510.76 B8785 2024 
PB  - American Academic Publisher.
N1  - 500 Natural Sciences & Math
ER  -