Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
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
Bemærk: Kan ikke leveres før jul.
The book is a collection of contributionsby leading experts, developed around traditional themes discussed at the annualLinz Seminars on Fuzzy Set Theory.
Bemærk: Kan ikke leveres før jul.
This bookgathers the proceedings of the conference "Cultures of Mathematics andLogic," held in... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
This book questions the relevance of computation to the physical universe.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book argues for a view in which processes of dialogue and interaction are taken to be foundational to reasoning, logic, and meaning.
Bemærk: Kan ikke leveres før jul.