📁 模型论
条目 (1+)
Journal of Logic and Computation
http://liinwww.ira.uka.de/bibliography/Misc/HBP/JLOGC.html