TY - BOOK AU - Blikle, Andrzej TI - Mathematical foundations of computer science PY - 1975/// CY - Berlin PB - Springer ER -