Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 4 from your keywords: subject="Applied Logic"
cover
A Guide to NIP Theories
Comment Share
simon,pierre

The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the subject that will appeal to anyone interested in model theory: graduate students and researchers in the field, as well as those in nearby areas such as combi…

Edition
-
ISBN/ISSN
9781107415133
Collation
-
Series Title
-
Call Number
-
cover
A General Algebraic Semantics for Sentential Logics
Comment Share
Font,Josep MariaJansana,Ramon

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of…

Edition
-
ISBN/ISSN
9781316716915
Collation
-
Series Title
Lecture Notes in Logic (7)
Call Number
-
cover
A Framework for Priority Arguments
Comment Share
LERMAN,Manuel

This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…

Edition
-
ISBN/ISSN
9780511750779
Collation
-
Series Title
Lecture Notes in Logic
Call Number
-
cover
A Distributed Pi-Calculus
Comment Share
HENNESSY,Matthew

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and…

Edition
-
ISBN/ISSN
9780511611063
Collation
-
Series Title
-
Call Number
-