Computability and logic /

Computability and logic /

Show other versions (1)

41

Bibliographic Details
Main Authors: 386993 Boolos, George, Jeffrey, Richard
Format:
Published: Cambridge : Cambridge Univ.Pr., 1974
Subjects:
Recursive functions
Logic, Symbolic and mathematical

Similar Items