1999–2000 Winter Meeting of the Association for Symbolic Logic

DOI10.2307/421216zbMath0952.03501OpenAlexW2316081381MaRDI QIDQ4508284

No author found.

Publication date: 11 January 2001

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

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

zbMATH Keywords

LogicSymbolic logicWinter MeetingWashigton, DC

Mathematics Subject Classification ID

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

Cites Work

• Ramsey's theorem with sums or unions
• Untersuchungen über das logische Schliessen. II
• The syntax and semantics of infinitary languages
• Kolmogorov Complexity and Instance Complexity of Recursively Enumerable Sets
• Parallel reductions in \(\lambda\)-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: 1999–2000 Winter Meeting of the Association for Symbolic Logic