Cover Image
Read Now

1
by Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents: “... III AUTOMATA AND PROGRAMMING LANGUAGES; Chapter 13 Models for Various Type-Free Calculi; Chapter 14...”