Mathematical logic and theoretical computer science
Kueker, David W.
Mathematical logic and theoretical computer science / by David W. Kueker; Edgar G. K. Lopez-Escobar; Carl H. Smith - New york Marcel Dekker 1987 - 383p.
511.3 / KUE/M
Mathematical logic and theoretical computer science / by David W. Kueker; Edgar G. K. Lopez-Escobar; Carl H. Smith - New york Marcel Dekker 1987 - 383p.
511.3 / KUE/M
