摘要:
acm.org
sci-hub.se 参考文章(6)
Elliott Mendelson, Introduction to mathematical logic; (3rd ed.) Wadsworth Publ. Co.. ,(1987)
James E. Houston, Thesaurus of ERIC descriptors ,(2001)
Jean-Frédéric Jauslin, Hans-Peter Frei, Martin Bärtschi, Caliban: its user-interface and retrieval algorithm ETH, Eidgenössische Technische Hochschule Zürich, Institut für Informatik. ,vol. 62, ,(1985) , 10.3929/ETHZ-A-000329711
Douglas R. Hofstadter, Gödel, Escher, Bach: an Eternal Golden Braid ,(1979)
George Grätzer, Lattice Theory: First Concepts and Distributive Lattices ,(1971)
Zhenzhong Zhang, Model theory ,(1977)