BOOLOS, George - BURGESS, John P. - JEFFREY, Richard C. Computability and logic. 4th ed. Cambridge : Cambridge University Press, c2002. xi, 356 s. ISBN 0-521-00758-5.
Number of the records: 1
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.