Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
First Steps in Modal Logic (Bog, Paperback / softback, Engelsk)This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Multiple Forcing (Bog, Paperback / softback, Engelsk)In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important applications. Product forcing, iterated... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematical Theory of Domains (Bog, Paperback / softback, Engelsk)This book is devoted to providing an accessible, unified and self-contained introduction to domain theory. It can be, and has been, used as an introductory textbook or as a general reference for professionals in computer science and logic.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model Theory (Bog, Paperback / softback, Engelsk)Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas such as set theory, geometry,... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Unprovability of Consistency: An Essay in Modal Logic (Bog, Paperback / softback, Engelsk)The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Multiple-Conclusion Logic (Bog, Paperback / softback, Engelsk)Multiple-conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere among the conclusions if... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Semimodular Lattices: Theory and Applications (Bog, Paperback / softback, Engelsk)Semimodular Lattices: Theory and Applications uses successive generalizations of distributive and modular lattices to outline the development of semimodular... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theories of Computability (Bog, Paperback / softback, Engelsk)This book gives an introduction to theories of computability from a mathematically sophisticated point of view. It treats not only 'the' theory of computability, but also a... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Lectures in Logic and Set Theory: Volume 2, Set Theory (Bog, Paperback / softback, Engelsk)This work provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, two expositions of Godel's... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Foundations of Mathematics in the Theory of Sets (Bog, Paperback / softback, Engelsk)This 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering conventional and finitary mathematics.... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematics, Models, and Modality: Selected Philosophical Essays (Bog, Paperback / softback, Engelsk)This selection of John Burgess's essays addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Multiple Forcing (Bog, Hardback, Engelsk)In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important applications. Product forcing, iterated... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
