2000-2001 Spring Meeting of the Association for Symbolic Logic

DOI10.2307/2687768zbMath0987.03500OpenAlexW2039071191MaRDI QIDQ2778666

No author found.

Publication date: 18 June 2002

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

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0703-toc.htm

zbMATH Keywords

LogicMinneapolisSpring MeetingSymbolic logic

Mathematics Subject Classification ID

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

Cites Work

• Quantum mechanical unbounded operators and constructive mathematics -- a rejoinder to Bridges
• Unnamed Item

This page was built for publication: 2000-2001 Spring Meeting of the Association for Symbolic Logic