1953/01/01 by Gaisi Takeuti, Gaisi TAKEUTI · 93 citations
Computer Science · Mathematics · Medicine · #Advanced Algebra and Logic #Calculus (dental) #Computer science #Discrete mathematics #Logic, Reasoning, and Knowledge #Mathematics #Medicine #Natural deduction
paper · pdf · doi:10.4099/jjm1924.23.0_39
published in Japanese journal of mathematics 23(0), 39-96 (Springer Science+Business Media)
crossref issued 1953/01/01 · crossref published 1953/01/01 · crossref published-print 1953/01/01 · openalex publication_date 1953/01/01 · crossref created 2017/10/19 · crossref deposited 2019/10/04 · openalex created_date 2025/10/10 · crossref indexed 2026/03/11 · openalex updated_date 2026/07/07