A+ CATEGORY SCIENTIFIC UNIT

Some applications of formalized consistency proofs

Volume 42 / 1955

G. Kreisel, Hao Wang Fundamenta Mathematicae 42 (1955), 101-110 DOI: 10.4064/fm-42-1-101-110

Authors

  • G. Kreisel
  • Hao Wang

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image