TY - BOOK AU - Fejer Peter A Et Al TI - Logical Foundations of Computer Science In 2 Volumes SN - 9789811289347 PB - World Scientific KW - Computer Science UR - https://www.worldscientific.com/worldscibooks/10.1142/13714#t=toc ER -