A+ CATEGORY SCIENTIFIC UNIT

Undecidability of some simple formalized theories

Volume 40 / 1953

A. Janiczak Fundamenta Mathematicae 40 (1953), 131-139 DOI: 10.4064/fm-40-1-131-139

Authors

  • A. Janiczak

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image