scientific article; zbMATH DE number 1550347
From MaRDI portal
Publication:4523467
zbMath0972.03502MaRDI QIDQ4523467
Publication date: 11 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)
Related Items (7)
Book review of: G. Frege, Basic laws of arithmetic. Derived using concept-script. Volume 1 and 2. Edited by Philip A. Ebert and Marcus Rossberg. ⋮ FREGE’S THEORY OF REAL NUMBERS: A CONSISTENT RENDERING ⋮ Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project ⋮ What did Frege take Russell to have proved? ⋮ Neo-Fregeanism: an embarrassment of riches ⋮ Abstraction and set theory ⋮ Skolem redux
This page was built for publication: