Number of the records: 1  

Computability and logic

  1. 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.