MPG.eBooks - Author Search Results

Cover Image

1

History and Philosophy of Constructive Type Theory

by Sommaruga, Giovanni
Published 2000

Springer Netherlands

Cover Image

2

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

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Sommaruga, Giovanni...”

Cover Image

3

Foundational Theories of Classical and Constructive Mathematics

Published 2011

Springer Netherlands

Other Authors: “...Sommaruga, Giovanni...”

Cover Image

4

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

Published 2015

Springer International Publishing

Other Authors: “...Sommaruga, Giovanni...”

Cover Image

5

Axiomatic Thinking I

Published 2022

Springer International Publishing

Other Authors: “...Sommaruga, Giovanni...”

Cover Image

6

Axiomatic Thinking II

Published 2022

Springer International Publishing

Other Authors: “...Sommaruga, Giovanni...”