The use of dots as brackets in Church's system

DOI10.2307/2268111zbMath0060.02008OpenAlexW2065302580MaRDI QIDQ5834302

Alan M. Turing

Publication date: 1942

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268111

zbMATH Keywords

foundations, philosophy, logic

This page was built for publication: The use of dots as brackets in Church's system