The translation of formal proofs into English

Symbolic Logic, An Introduction

Frederic B. Fitch, Albert L. Hammond · American Journal of Physics · 1953 · 160 citations

Humanities, Computer Science, Logic +5

Methods of Logic.

Peter Heath, W. V. Quine · The Philosophical Quarterly · 1955 · 58 citations

Humanities, Philosophy, Logic +6

Symbolic Logic, An Introduction.

Robert Montgomery Martin, Frederic B. Fitch · Philosophy and Phenomenological Research · 1953 · 31 citations

Humanities, Computer Science, Mathematics +11