scientific article; zbMATH DE number 1550345
From MaRDI portal
Publication:4523465
zbMath0972.03500MaRDI QIDQ4523465
Publication date: 11 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (2)
Computational logic: its origins and applications ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle
This page was built for publication: