Ernest Nagel

The Systematic Codification of Formal Logic

James R. Newman, Ernest Nagel, 1978 .

An Example of a Successful Absolute Proof of Consistency

James R. Newman, Ernest Nagel, 1978 .

Introduction to logic scientific method

Ernest Nagel, Morris R. Cohen, 1934 .

The President, the Vice President, the Secretary-Treasurer, and B. A. BERNSTEIN,' MAX

Alfred Tarski, Alonzo Church, S. C. Kleene, 2016 .

Logic, Methodology and Philosophy of Science

Patrick Suppes, Max Black, Alfred Tarski, 1963 .