On the logic of variable binders

DOI10.1007/BF01969547zbMath0121.01101MaRDI QIDQ5731767

Rolf Schock

Publication date: 1964

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137765

zbMATH Keywords

mathematical logic

Related Items (1)

A definition of truth for theories with intensional definite description operators

This page was built for publication: On the logic of variable binders