Letter

DOI10.1093/LOGCOM/4.4.333zbMath0873.03045OpenAlexW4231282644MaRDI QIDQ4305344

Thomas Forster

Publication date: 13 September 1994

Published in: Unnamed Author (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/4.4.333

zbMATH Keywords

ordered pairstreamsaxiom of foundationflat pairing function

Mathematics Subject Classification ID

Theory of data (68P99) Axiomatics of classical set theory and its fragments (03E30)

This page was built for publication: Letter