2020/09/20 by Jeremy Avigad, Avigad, Jeremy
Computer Science · #03B35 (Secondary) #68V15 (Primary) 03-01 #Computability, Logic, AI Algorithms #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #I.2.3 #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2009.09541
openalex publication_date 2020/09/20 · openalex created_date 2024/04/10 · openalex updated_date 2026/07/28
This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.