𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Decidability and Completenessby W. V. Quine

✍ Scribed by Review by: Martin Davis


Book ID
124958874
Publisher
Association for Symbolic Logic
Year
1951
Tongue
English
Weight
211 KB
Volume
16
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On Derivabilityby W. V. Quine
✍ Review by: RΓ³zsa PΓ©ter πŸ“‚ Article πŸ“… 1938 πŸ› Association for Symbolic Logic 🌐 English βš– 203 KB
On Universalsby W. V. Quine
✍ Review by: Frederic B. Fitch πŸ“‚ Article πŸ“… 1948 πŸ› Association for Symbolic Logic 🌐 English βš– 331 KB
On Natural Deductionby W. V. Quine
✍ Review by: Alonzo Church πŸ“‚ Article πŸ“… 1952 πŸ› Association for Symbolic Logic 🌐 English βš– 350 KB
On Ordered Pairsby W. V. Quine
✍ Review by: A. R. Turquette πŸ“‚ Article πŸ“… 1946 πŸ› Association for Symbolic Logic 🌐 English βš– 204 KB
On Cantor's Theoremby W. V. Quine
✍ Review by: Barkley Rosser πŸ“‚ Article πŸ“… 1938 πŸ› Association for Symbolic Logic 🌐 English βš– 200 KB
On Ordinalsby W. V. Quine; Hao Wang
✍ Review by: Azriel LΓ©vy πŸ“‚ Article πŸ“… 1968 πŸ› Association for Symbolic Logic 🌐 English βš– 203 KB