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, Hardback, 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: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Basic Simple Type Theory (Bog, Hardback, Engelsk)This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Proofs and Computations (Bog, Hardback, Engelsk)Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Models and Games (Bog, Hardback, Engelsk)This gentle introduction makes extensive use of three important games in logic: the semantic game, the Ehrenfeucht–Fraïssé game and the model existence game. Over 500 exercises are... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic, Induction and Sets (Bog, Paperback / softback, Engelsk)This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Difficult points are presented in an engaging fashion and furthered by the aid of... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Theories of Computability (Bog, Hardback, 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.
Computability, Enumerability, Unsolvability: Directions in Recursion Theory (Bog, Paperback / softback, Engelsk)The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Advances in Linear Logic (Bog, Paperback / softback, Engelsk)This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Topology via Logic (Bog, Paperback / softback, Engelsk)This is an advanced textbook on topology for computer scientists. It is based on a course given by the author to postgraduate students of computer science at Imperial College.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Metamathematics, Machines and Godel's Proof (Bog, Paperback / softback, Engelsk)Describes the use of computer programs to check several proofs in the foundations of mathematics.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model Theory of Groups and Automorphism Groups (Bog, Paperback / softback, Engelsk)Surveys recent interactions between model theory and algebra, notably group theory. Topics include automorphism groups of algebraically closed fields,... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Set Theory for the Working Mathematician (Bog, Paperback / softback, Engelsk)This text concentrates on the typical methods of modern set theory: transfinite induction, Zorn's Lemma, the Continuum Hypothesis, Martin's Axiom, the Diamond... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
