Language: English

圖資館首頁

Login

Languages

English (2)

Covers

Jump To : Overview | Titles | Subjects

Hoffmann, Dirk W.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Gödel's incompleteness theoremsa guided tour through Kurt Gödel's historic proof / by: Gödel, Kurt.; Hoffmann, Dirk W.; SpringerLink (Online service) (Electronic resources)

Limits of mathematicsa journey through the key areas of mathematical logic / by: Hoffmann, Dirk W.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Foundations. Logic, Symbolic and mathematical. Gödel, Kurt. Formal Languages and Automata Theory. Gödel's theorem.

Change password

Login