On a problem of formal logic.

DOI10.1112/PLMS/S2-30.1.264zbMath55.0032.04OpenAlexW2095689360WikidataQ54279539 ScholiaQ54279539MaRDI QIDQ1834559

No author found.

Publication date: 1929

Published in: Proceedings of the London Mathematical Society. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/plms/s2-30.1.264

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

An analysis of Ramsey's theorem ⋮ Another proof of the intuitionistic Ramsey theorem ⋮ Pumping, with or without choice

This page was built for publication: On a problem of formal logic.