Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Mundici, Daniele.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Computational logic and proof theory5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings / by: (1998 :); Gottlob, Georg.; Leitsch, Alexander.; Mundici, Daniele.; SpringerLink (Online service) (Electronic resources)

Logica brief course / by: Mundici, Daniele.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logic, Symbolic and mathematical. Semantics. Automatic theorem proving Mathematics. Logic, Symbolic and mathematical

Change password

Login