Documents Related by Co-Citation

1072 Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies – J D Ullman - 1990
286 Set Theory: An Introduction to Independence Proofs – K Kunen - 1980
114 The fine structure of the constructible hierarchy – R B Jensen - 1972
33 Gödel’s Incompleteness Theorems – R M Smullyan - 1992
45 Logics of Formal Inconsistency – Walter Carnielli, Marcelo E. Coniglio, João Marcos
26 The Consistency of the Continuum Hypothesis – K Gödel - 1940
11 em Set-theoretic functions for elementary syntax – R O Gandy - 1974
25 Georg Cantor: His Mathematics and Philosophy of the Infinite Princeton – Joseph W Dauben - 1990
25 Paraconsistent Logic, Stanford Encyclopedia of Philosophy – Graham Priest, Koji Tanaka