Bokus

P. Dybjer – författare

Visar alla böcker från författaren P. Dybjer. Handla med fri frakt och snabb leverans.

5 produkter

  1. Andrew M. Pitts, P. Dybjer - Semantics and Logics of Computation, Häftad. Tillgänglighet: Lägg i varukorg

    Semantics and Logics of Computation

    Av Andrew M. Pitts, P. Dybjer

    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 …

  2. Andrew M. Pitts, P. Dybjer - Semantics and Logics of Computation, Inbunden. Tillgänglighet: Lägg i varukorg

    Semantics and Logics of Computation

    Av Andrew M. Pitts, P. Dybjer

    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 …

  3. P. Dybjer, Sten Lindström, Erik Palmgren, B.G. Sundholm - Epistemology versus Ontology, Inbunden. Tillgänglighet: Lägg i varukorg

    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 …

  4. B.G. Sundholm, Erik Palmgren, Sten Lindstrom, P. Dybjer - Epistemology versus Ontology, E-bok. Tillgänglighet: Lägg i varukorg

    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 …

  5. P. Dybjer, Sten Lindström, Erik Palmgren, B.G. Sundholm - Epistemology versus Ontology, Häftad. Tillgänglighet: Lägg i varukorg

    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 …