P. Dybjer – författare
Visar alla böcker från författaren P. Dybjer. Handla med fri frakt och snabb leverans.
5 produkter
Semantics and Logics of Computation
Häftad, 2009
771 kr
Lägg i varukorg
The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the …
Semantics and Logics of Computation
Inbunden, 1997
2214 kr
Lägg i varukorg
The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the …
Epistemology versus Ontology
Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Av P. Dybjer, Sten Lindström m. fl.
Inbunden, 2012
2188 kr
Lägg i varukorg
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and …
Epistemology versus Ontology
Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Av B.G. Sundholm, Erik Palmgren m. fl.
E-bok, 2012
2925 kr
Lägg i varukorg
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and …
Epistemology versus Ontology
Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
Av P. Dybjer, Sten Lindström m. fl.
Häftad, 2014
2188 kr
Lägg i varukorg
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and …