Generalised restricted generality

From MaRDI portal

Publication:1240223

Jump to:navigation, search

DOI10.1305/ndjfl/1093882669zbMath0363.02029OpenAlexW2092355644MaRDI QIDQ1240223

Martin W. Bunder

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882669

zbMATH Keywords

COMBINATORY LOGIC DEDUCTION THEOREM RESTRICTED GENERALITY

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Generalised restricted generality

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1240223&oldid=13323737"