Original language | English |
---|---|
Title of host publication | Formal Systems and Recursive Functions |
Number of pages | 1 |
Volume | 40 |
Edition | C |
DOIs | |
Publication status | Published - 1965 |
Externally published | Yes |
Publication series
Name | Studies in Logic and the Foundations of Mathematics |
---|---|
ISSN (Print) | 0049-237X |