A formal theory of objects, space and time
From MaRDI portal
Publication:3495339
DOI10.2307/2274955zbMath0711.03001OpenAlexW2032747952MaRDI QIDQ3495339
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274955
Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics, foundations (70A05)
Related Items (3)
Domain science and engineering from computer science to the sciences of informatics. II: Science ⋮ Manifest domains: analysis and description ⋮ Exploiting lattices in a theory of space and time
This page was built for publication: A formal theory of objects, space and time