formal systems and recursive functions
Publisher: north-holland publishing company
Published: 1965
Language: eng
Number of pages: 334