1981/09/01 by Harvey Friedman, Harvey M. Friedman · 3 citations
Computer Science · Mathematics · #Advanced Topology and Set Theory #Axiom #Computability, Logic, AI Algorithms #Consistency (knowledge bases) #Discrete mathematics #Independence (probability theory) #Limits and Structures in Graph Theory #Mathematics
paper · pdf · doi:10.1016/0001-8708(81)90021-9
crossref issued 1981/09/01 · crossref published 1981/09/01 · crossref published-print 1981/09/01 · openalex publication_date 1981/09/01 · crossref created 2005/01/18 · crossref deposited 2019/01/30 · openalex created_date 2025/10/10 · crossref indexed 2026/03/13 · openalex updated_date 2026/07/31