2005 Spring Meeting of the Association for Symbolic Logic

DOI10.2178/bsl/1130335211zbMath1088.03500OpenAlexW2312935039MaRDI QIDQ5472646

No author found.

Publication date: 12 June 2006

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

Full work available at URL: https://doi.org/10.2178/bsl/1130335211

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers
• On variants of axiom systems of propositional calculus, I

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