Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

DOI: 10.1007/s00605-006-0423-7

Monatshefte für Mathematik

Data up to Jan 2025

Published2006

Citations2,073

References2

Fields

Total Citations Per Year

Abstract

References (2)

Die Vollständigkeit der Axiome des logischen Funktionenkalküls

1930 • 595 citations

Zur Hilbertschen Beweistheorie

1927 • 180 citations

Cited By (0)

Loading...

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (2006) – Monatshefte für Mathematik | Metascience Observatory Explorer