Representations of calculi

DOI10.2307/2267881zbMath0060.02302OpenAlexW1965898506MaRDI QIDQ5834325

Frederic B. Fitch

Publication date: 1944

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

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

zbMATH Keywords

foundations, philosophy, logic

Related Items (1)

Abstraction in Fitch's Basic Logic

Cites Work

• General recursive functions of natural numbers
• Extensions of some theorems of Gödel and Church
• A basic logic

This page was built for publication: Representations of calculi