ArticleOriginal scientific text

Title

On a system of axioms which has no recursively enumerable arithmetic model

Authors 1

Affiliations

  1. Warszawa, Polska
Pages:
56-61
Main language of publication
English
Published
1953
Exact and natural sciences