Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that... Læs mere
Bemærk: Kan ikke leveres før jul.
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to... Læs mere
Bemærk: Kan ikke leveres før jul.
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to... Læs mere
Bemærk: Kan ikke leveres før jul.
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the... Læs mere
Bemærk: Kan ikke leveres før jul.
This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the... Læs mere
Bemærk: Kan ikke leveres før jul.
Explains how computers have brought a fresh practicality to mathematics and mathematical applications. This... Læs mere
Bemærk: Kan ikke leveres før jul.
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this title covers... Læs mere
Bemærk: Kan ikke leveres før jul.
What is algebra? For some, it is an abstract language of x's and y's. For mathematics majors and professional... Læs mere
Bemærk: Kan ikke leveres før jul.
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
Bemærk: Kan ikke leveres før jul.
In Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, applications, and... Læs mere
Bemærk: Kan ikke leveres før jul.
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo... Læs mere
Bemærk: Kan ikke leveres før jul.
To help readers become better at solving real-world problems, this enlightening, entertaining, and inspiring book teaches... Læs mere