Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
A Course on Basic Model Theory (Bog, Paperback / softback, Engelsk)This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Definition of Logical Validity (Bog, Hardback, Engelsk)What does it mean for a conclusion to follow logically from other sentences? Logical consequence is at the basis of any rational reasoning. Textbooks generally give a... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
New Essays on Belnap-Dunn Logic (Bog, Paperback / softback, Engelsk)This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE).
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Problem Solving In Operation Management (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Algorithms for Constructing Computably Enumerable Sets (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics (Bog, Paperback / softback, Engelsk)This book is about the relationship between necessary reasoning and visual experience in Charles S. In practicing this... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Philosophy of Mathematics in Antiquity and in Modern Times (Bog, Paperback / softback, Engelsk)These include, for example, questions about the ontological status of mathematical objects (e.g., what is the nature of mathematical objects?) and the epistemological status of mathematical theorems (e.g., from what sources do we draw when we prove mathematical theorems?).
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Field Arithmetic (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
QSPR/QSAR Analysis Using SMILES and Quasi-SMILES (Bog, Paperback / softback, Engelsk)This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying molecular input-line entry system (SMILES) to represent the molecular structure.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Robert Rosen and Relational System Theory: An Overview (Bog, Hardback, Engelsk)This book focuses on Robert Rosen’s contributions to relational system theory, which is the science of organization and function. Rosen was the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods: FCMTCCT2 2022, Almeria, Spain, July 11–15, Invited and Selected Contributions (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
