Author(s): J. Barkley Rosser, Atwell Rufus Turquette
Series: Studies in Logic and the Foundations of Mathematics 7
Publisher: North-Holland Publishing Company
Year: 1952
Language: English
Pages: 127