2002–2003 Winter Meeting of the Association for Symbolic Logic

DOI10.1017/S1079898600004649zbMath1058.03503OpenAlexW4255707992MaRDI QIDQ4650300

No author found.

Publication date: 9 February 2005

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

Full work available at URL: https://projecteuclid.org/euclid.bsl/1052669293

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logic at work. Essays dedicated to the memory of Helena Rasiowa
• Dual-intuitionistic logic
• A symmetric lambda calculus for classical program extraction
• The logic of quantum mechanics
• The algebra of topology
• An axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel Theory
• Sequential method in quantum logic
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Did Tarski commit “Tarski's fallacy”?

This page was built for publication: 2002–2003 Winter Meeting of the Association for Symbolic Logic