A complete first-order logic with infinitary predicates

Volume 52 / 1963

H. Keisler Fundamenta Mathematicae 52 (1963), 177-203 DOI: 10.4064/fm-52-2-177-203

Authors

  • H. Keisler

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image