Meeting of the Association for Symbolic Logic

DOI10.2307/2274305zbMath0572.03001OpenAlexW4240179564MaRDI QIDQ5902820

No author found.

Publication date: 1984

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

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

zbMATH Keywords

MeetingSymbolic logicCaracas

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Unnamed Item
• On the Semantics of “Data Type”
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Data Types as Lattices
• Strong axioms of infinity and elementary embeddings
• Forcing for the impredicative theory of classes

This page was built for publication: Meeting of the Association for Symbolic Logic