1998 Spring Meeting of the Association for Symbolic Logic

DOI10.2307/421024zbMath0925.03005OpenAlexW2333285144MaRDI QIDQ4212937

No author found.

Publication date: 13 December 1998

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

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

zbMATH Keywords

MeetingLogicLos AngelesSymbolic Logic

Mathematics Subject Classification ID

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

Cites Work

• Realistic analysis of some randomized algorithms
• Combinators and structurally free logic
• On notation for ordinal numbers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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