Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Readings in Formal Epistemology: Sourcebook (Bog, Paperback / softback, Engelsk)This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Philosophy of Science for Scientists (Bog, Paperback / softback, Engelsk)It argues against the common assumption that there is fundamental difference between natural and human science, with natural science being concerned with testing... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory (Bog, Paperback / softback, Engelsk)The book is a collection of contributionsby leading experts, developed around traditional themes discussed at the annualLinz Seminars on Fuzzy Set Theory.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 (Bog, Paperback / softback, Engelsk)This bookgathers the proceedings of the conference "Cultures of Mathematics andLogic," held in... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Objectivity, Realism, and Proof: FilMat Studies in the Philosophy of Mathematics (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics (Bog, Paperback / softback, Engelsk)Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Finitely Supported Mathematics: An Introduction (Bog, Paperback / softback, Engelsk)In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous sets, and so defining the extended Fraenkel-Mostowski (EFM) set theory.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Incomputable: Journeys Beyond the Turing Barrier (Bog, Paperback / softback, Engelsk)This book questions the relevance of computation to the physical universe.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Number Theory: An Introduction via the Density of Primes (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Meaning in Dialogue: An Interactive Approach to Logic and Reasoning (Bog, Paperback / softback, Engelsk)This book argues for a view in which processes of dialogue and interaction are taken to be foundational to reasoning, logic, and meaning.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Rohit Parikh on Logic, Language and Society (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
