1
Foundational Theories of Classical and Constructive Mathematics

Foundational Theories of Classical and Constructive Mathematics

Geoffrey Hellman* (auth.), Giovanni Sommaruga (eds.)
کال:
2011
ژبه:
english
فایل:
PDF, 5.49 MB
0 / 0
english, 2011
3
Foundational theories of classical and constructive mathematics

Foundational theories of classical and constructive mathematics

Geoffrey Hellman* (auth.), Giovanni Sommaruga (eds.)
کال:
2011
ژبه:
english
فایل:
PDF, 3.15 MB
0 / 0
english, 2011
4
Turing's revolution. The impact of his ideas about computability

Turing's revolution. The impact of his ideas about computability

Sommaruga, Giovanni, Strahm, Thomas Adrian, Turing, Alan Mathison (eds.)
کال:
2016
ژبه:
english
فایل:
PDF, 2.55 MB
5.0 / 5.0
english, 2016
5
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information

Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information

Giovanni Sommaruga (ed)
کال:
2009
ژبه:
english
فایل:
PDF, 4.15 MB
5.0 / 5.0
english, 2009
6
Axiomatic Thinking II

Axiomatic Thinking II

Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
کال:
2022
ژبه:
english
فایل:
PDF, 4.00 MB
0 / 0
english, 2022
7
Axiomatic Thinking I

Axiomatic Thinking I

Fernando Ferreira (editor), Reinhard Kahle (editor), Giovanni Sommaruga (editor)
کال:
2022
ژبه:
english
فایل:
PDF, 1.93 MB
0 / 4.5
english, 2022
8
Turing's Revolution: The Impact of His Ideas about Computability

Turing's Revolution: The Impact of His Ideas about Computability

Giovanni Sommaruga, Thomas Strahm (eds.)
کال:
2016
ژبه:
english
فایل:
PDF, 4.33 MB
5.0 / 5.0
english, 2016
9
Axiomatic Thinking I

Axiomatic Thinking I

Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
کال:
2022
ژبه:
english
فایل:
PDF, 2.53 MB
5.0 / 5.0
english, 2022
10
History and Philosophy of Constructive Type Theory

History and Philosophy of Constructive Type Theory

Giovanni Sommaruga (auth.)
کال:
2000
ژبه:
english
فایل:
PDF, 6.14 MB
0 / 5.0
english, 2000
11
Foundational theories of classical and constructive mathematics

Foundational theories of classical and constructive mathematics

Geoffrey Hellman* (auth.), Giovanni Sommaruga (eds.)
کال:
2011
ژبه:
english
فایل:
PDF, 1.38 MB
0 / 5.0
english, 2011
13
Axiomatic Thinking II

Axiomatic Thinking II

Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
کال:
2022
ژبه:
english
فایل:
PDF, 4.00 MB
0 / 5.0
english, 2022
14
History and Philosophy of Constructive Type Theory

History and Philosophy of Constructive Type Theory

Giovanni Sommaruga
کال:
2010
ژبه:
english
فایل:
DJVU, 2.78 MB
0 / 0
english, 2010