Research in the foundations of mathematics
By: by Chen-Chung Chang, Anne  C. Davis [and] Alfred Tarski.
Publisher: Dept. of Mathematics, University of California
Published: 1950
Place of publication: Berkeley
Language: eng
Number of pages: 27
Subjects: Logic, Symbolic and mathematical.
Notes: "Final report for Office of Ordnance Research, contract no. DA-04-200-ORD-171, task order no. 4, June 25, 1952--October 31, 1954: Director of Project: Alfred Tarksi."

Bibliography: p. 21-27.