Languages
Sommaruga, Giovanni.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Axiomatic thinking.. II
by:
Ferreira, Fernando.; Sommaruga, Giovanni.; SpringerLink (Online service); Kahle, Reinhard.
(Electronic resources)
Turing's revolution = the impact of his ideas about computability /
by:
Sommaruga, Giovanni.; Strahm, Thomas.; SpringerLink (Online service)
(Electronic resources)
Foundational theories of classical and constructive mathematics
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(Electronic resources)
Formal theories of information = from Shannon to semantic information theory and general concepts of information /
by:
Sommaruga, Giovanni.; SpringerLink (Online service)
(Language materials, printed)
Axiomatic thinking.. I
by:
Ferreira, Fernando.; Sommaruga, Giovanni.; SpringerLink (Online service); Kahle, Reinhard.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Theory of Computation.
Mathematics- Philosophy.
Logic.
Self-organizing systems- Congresses.
Information measurement
Information storage and retrieval systems- Congresses.
Mathematics.
Computable functions.
History of Mathematical Sciences.
Coding and Information Theory.
Constructive mathematics- Philosophy.
Hilbert, David,
Computer science- Mathematics.
Proof theory.
Computer Science.
Discrete Mathematics in Computer Science.
Axioms.
Philosophy of Mathematics.
Philosophy of Science.
Turing, Alan Mathison,