Giuseppe Primiero – författare
Visar alla böcker från författaren Giuseppe Primiero. Handla med fri frakt och snabb leverans.
14 produkter
On the Foundations of Computing
E-bok, 2019
701 kr
Lägg i varukorg
Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are …
On the Foundations of Computing
Inbunden, 2019
2215 kr
Lägg i varukorg
Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are …
On the Foundations of Computing
Häftad, 2019
860 kr
Lägg i varukorg
Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are …
Information and Knowledge
A Constructive Type-theoretical Approach
Inbunden, 2007
1858 kr
Lägg i varukorg
This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analyticity: with this expression I understand, on the one hand, the essential nature of analytic truths …
Information and Knowledge
A Constructive Type-theoretical Approach
E-bok, 2007
2428 kr
Lägg i varukorg
This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analyticity: with this expression I understand, on the one hand, the essential nature of analytic truths …
Acts of Knowledge: History, Philosophy and Logic
Essays Dedicated to Goran Sundholm
Av Giuseppe Primiero, Shahid Rahman
Häftad, 2009
279 kr
Lägg i varukorg
Computing with Foresight and Industry
15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Av Florin Manea, Barnaby Martin m. fl.
Häftad, 2019
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The …
Computing with Foresight and Industry
15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Av Giuseppe Primiero, Daniel Paulusma m. fl.
E-bok, 2019
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019. The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The …
Reflections on Programming Systems
Historical and Philosophical Aspects
Av Liesbeth De Mol, Giuseppe Primiero
Inbunden, 2019
1532 kr
Lägg i varukorg
This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of providing a foundational analysis of …
Reflections on Programming Systems
Historical and Philosophical Aspects
Av Giuseppe Primiero, Liesbeth De Mol
E-bok, 2019
1886 kr
Lägg i varukorg
This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of providing a foundational analysis of …
Information and Knowledge
A Constructive Type-theoretical Approach
Häftad, 2010
1858 kr
Lägg i varukorg
This research is the result of a fruitful connection and provides a sign- cant link between two topics of a logical and philosophical enquiry. It tries to provide a solution to the problem of analyticity: with this expression I understand, on the one hand, the essential nature of analytic truths …
Realism-Antirealism Debate in the Age of Alternative Logics
Av Shahid Rahman, Giuseppe Primiero m. fl.
Inbunden, 2011
1641 kr
Lägg i varukorg
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves …
Realism-Antirealism Debate in the Age of Alternative Logics
Av Mathieu Marion, Giuseppe Primiero m. fl.
E-bok, 2011
2111 kr
Lägg i varukorg
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves …
Realism-Antirealism Debate in the Age of Alternative Logics
Av Shahid Rahman, Giuseppe Primiero m. fl.
Häftad, 2013
1641 kr
Lägg i varukorg
The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves …
