Filter

Matematiske fundament

Filter
  • Book of Numbers

    av

    e-bok, 2011, Engelsk, ISBN 9781848584402

    From zero to infinity, The Book of Numbers is a handy-sized volume which opens up a new realm of knowledge. Where else in one place could you find out how the illegal numbers

  • Tangled Tale

    av

    e-bok, 2016, Engelsk, ISBN 9786059285711

    TO MY PUPIL. Beloved pupil! Tamed by thee, Addish-, Subtrac-, Multiplica-tion, Division, Fractions, Rule of Three, Attest thy deft manipulation! Then onward! Let the voice of Fame

  • Logica

    av

    e-bok, 2020, Romensk, ISBN 9786063369407

    O introducere minunata ?i captivanta în conceptele de baza ale logicii. Fara sa neglijeze problemele, Priest reu?e?te sa pastreze discu?ia accesibila ?i instructiva. Adrian Moore,

  • Logical Writings of Karl Popper

    e-bok, 2022, Engelsk, ISBN 9783030949266

    This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th

  • Foundations of Software Science and Computation Structures

    e-bok, 2020, Engelsk, ISBN 9783030452315

    This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took

  • Inquisitive Logic

    av

    e-bok, 2023, Engelsk, ISBN 9783031097065

    This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this

  • Foundations of Software Science and Computation Structures

    e-bok, 2022, Engelsk, ISBN 9783030992538

    This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held

  • Simplicial and Dendroidal Homotopy Theory

    av ,

    e-bok, 2022, Engelsk, ISBN 9783031104473

    This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces. These are essential for the study of categories,

  • Advances in Proof-Theoretic Semantics

    e-bok, 2015, Engelsk, ISBN 9783319226866

    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination

  • Paul Lorenzen -- Mathematician and Logician

    e-bok, 2021, Engelsk, ISBN 9783030658243

    This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on