Results 141 to 144 of about 904 (144)
Some of the next articles are maybe not open access.
Appendix: “On the Completeness and Categoricity of Deductive Systems” (1940) by Alfred Tarski
2010exaly
∏ 1 1 -Completeness of the Computable Categoricity Problem for Projective Planes
Algebra and Logic, 2016exaly