On the axiom of extensionality, Part II

DOI10.2307/2963897zbMath0097.24601OpenAlexW1965946010WikidataQ114588050 ScholiaQ114588050MaRDI QIDQ3276697

R. O. Gandy

Publication date: 1959

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (2)

Light monotone Dialectica methods for proof mining ⋮ Unnamed Item

This page was built for publication: On the axiom of extensionality, Part II