56 results - showing 1 - 10
1 2 3 4 5 6
Ordering
Coalgebras and Modal Logic by Alexander Kurz
 
0.0 (0)
Ebooks May 30, 2022 3

Ebook Details

Author
Alexander Kurz
Publisher
ESSLLI 2002
Whereas algebras are used to model abstract data types, coalgebras are used to model dynamic, state based systems.
Basic Concepts in Modal Logic by Edward N. Zalta
 
0.0 (0)
Ebooks May 30, 2022 4

Ebook Details

Author
Edward N. Zalta
Publisher
Stanford University 2011
This is a text for dedicated undergraduates with no previous experience in modal logic. The book should prepare people for reading advanced texts in modal logic, such as Goldblatt, Chellas, Hughes and Cresswell, and van Benthem.
Introduction to Proof Theory by Gilles Dowek
 
0.0 (0)
Ebooks May 29, 2022 4

Ebook Details

Author
Gilles Dowek
Publisher
ESSLLI 2001
These are the course notes for the 13th European Summer School in Logic, Language and Information. Contents: Predicate Logic; Extension of Predicate Logic; Type Theory; Cut Elimination in Predicate Logic; Cut Elimination in Predicate Logic Modulo.
Metalogic by Jan Wolenski
 
0.0 (0)
Ebooks May 28, 2022 3

Ebook Details

Author
Jan Wolenski
Publisher
ESSLLI 2002
The course is intended to provide the basic information about the metatheory of formal system. It will start with a brief information about propositional calculus and first-order logic. Then, fundamental theorems about elementary logic will be stated and proved.
Logics of Time and Computation by Robert Goldblatt
 
0.0 (0)
Ebooks May 27, 2022 3

Ebook Details

Author
Robert Goldblatt
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.
A Concise Introduction to Mathematical Logic by Wolfgang Rautenberg
 
0.0 (0)
Ebooks May 24, 2022 4

Ebook Details

Author
Wolfgang Rautenberg
Publisher
Springer 2009
The textbook by Professor Wolfgang Rautenberg is a well-written introduction to the beautiful and coherent subject of mathematical logic. It contains classical material such as logical calculi,
Isabelle/HOL: A Proof Assistant for Higher-Order Logic by T. Nipkow, L.C. Paulson, M. Wenzel
 
0.0 (0)
Ebooks May 24, 2022 3

Ebook Details

Author
T. Nipkow, L.C. Paulson, M. Wenzel
Publisher
Springer 2010
This book is a self-contained introduction to interactive proof in higher-order logic (HOL), using the proof assistant Isabelle. It is a tutorial for potential users rather than a monograph for researchers. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material. ...
Model-Theoretic Logics by J. Barwise, S. Feferman
 
0.0 (0)
Ebooks May 24, 2022 1

Ebook Details

Author
J. Barwise, S. Feferman
Publisher
Springer 1985
The subject matter of this book constitutes a merging of several directions of work in general model theory over the last 25 years. Three main lines can be distinguished: first, 
Intuitionistic Logic by Nick Bezhanishvili, Dick de Jongh
 
0.0 (0)
Ebooks May 24, 2022 3

Ebook Details

Author
Nick Bezhanishvili, Dick de Jongh
Publisher
Universiteit van Amsterdam 2010
In this course we give an introduction to intuitionistic logic. We concentrate on the propositional calculus mostly, make some minor excursions to the predicate calculus and to the use of intuitionistic logic in intuitionistic formal systems.
Notes on Set Theory by Michael Makkai
 
0.0 (0)
Ebooks May 24, 2022 3

Ebook Details

Author
Michael Makkai
Publisher
McGill University 2000
Contents: Sets and classes; The universe of pure sets; Further principles of set-construction; Natural numbers and ordinals; Well-founded Relations and recursion; Indexing by ordinals and the axiom of choice.
56 results - showing 1 - 10
1 2 3 4 5 6
0
Shares