1989/01/01 by Wolfram Pohlers · 6 citations
Computer Science · Mathematics · Medicine · #Algebra over a field #Algorithm #Axiom #Axiom of choice #Calculus (dental) #Computer science #Constructive #Constructive proof #Discrete mathematics #History and Theory of Mathematics #Logic, programming, and type systems #Mathematical economics #Mathematical proof #Mathematics #Medicine #Orthodontics #Programming language #Proof theory #Pure mathematics #Set theory #Sketch
paper · doi:10.1007/978-3-540-46825-7
crossref issued 1989/01/01 · crossref published 1989/01/01 · crossref published-print 1989/01/01 · openalex publication_date 1989/10/25 · crossref created 2009/06/09 · crossref deposited 2019/04/06 · openalex created_date 2025/10/10 · crossref indexed 2026/03/31 · openalex updated_date 2026/07/15