A+ CATEGORY SCIENTIFIC UNIT

A note on bounded arithmetic

Volume 136 / 1990

P. Pudlák Fundamenta Mathematicae 136 (1990), 85-89 DOI: 10.4064/fm-136-2-85-89

Authors

  • P. Pudlák

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image