vix.ing · top · new · best · stats · spec

A Theory of Positive Integers in Formal Logic. Part I

1935/01/01 by S. C. Kleene · 2 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Arithmetic #Discrete mathematics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Pure mathematics

paper · doi:10.2307/2372027

crossref issued 1935/01/01 · crossref published 1935/01/01 · crossref published-print 1935/01/01 · openalex publication_date 1935/01/01 · crossref created 2006/07/20 · crossref deposited 2018/04/17 · openalex created_date 2025/10/10 · crossref indexed 2026/03/28 · openalex updated_date 2026/03/28

Cited by