Descriptions in mathematical logic

DOI10.1007/BF02429843zbMath0585.03029MaRDI QIDQ1071018

Gerard R. Renardel de Lavalette

Publication date: 1984

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

descriptorScott's E-logictheories with function variables and quantification

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Related Items (1)

A relational formulation of the theory of types

Cites Work

• Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel
• Formalized recursive functionals and formalized realizability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Descriptions in mathematical logic