Work

A formal proof of Gödel's theorem

Year: 1939

Type: article

Source: Journal of Symbolic Logic

DOI: 10.2307/2269060

Author: L. Chwistek

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2106487865

FWCI:

Cites:

Cited by: 2

Related to: 10