A+ CATEGORY SCIENTIFIC UNIT

A formula with no recursively enumerable model

Volume 42 / 1955

Andrzej Mostowski Fundamenta Mathematicae 42 (1955), 125-140 DOI: 10.4064/fm-42-1-125-140

Authors

  • Andrzej Mostowski

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image