@TechReport{ Meyer:WS1S:1973,
Author = "Meyer, Albert",
date-added = "2020-01-22 18:07:30 +0100",
date-modified = "2020-01-22 18:08:32 +0100",
Institution = "MIT - Project MAC Technical Memorandum 38",
Title = "Weak monadic second order theory of succesor is not elementary-recursive",
Year = "1973"
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A