9 results - showing 1 - 9
Ordering
Introduction to Proof Theory by Gilles Dowek
 
0.0 (0)
Ebooks May 29, 2022 5

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.
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. ...
Proof Theory and Philosophy by Greg Restall
 
0.0 (0)
Ebooks May 24, 2022 3

Ebook Details

Author
Greg Restall
Publisher
consequently.org 2006
This is a usable textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly, pedagogically useful and philosophically motivated presentation.
Proof, Sets, and Logic by M. Randall Holmes
 
0.0 (0)
Ebooks May 24, 2022 3

Ebook Details

Author
M. Randall Holmes
Publisher
Boise State University 2009
This textbook is intended to communicate something about proof, sets, and logic. It is about the foundations of mathematics, a subject which results when mathematicians examine the subject matter and the practice of their own subject very carefully.
Logic and Proof by Lawrence C Paulson
 
0.0 (0)
Ebooks May 20, 2022 3

Ebook Details

Author
Lawrence C Paulson
Publisher
University of Cambridge 2002
These lecture notes give a brief introduction to logic, with including the resolution method of theorem-proving and its relation to the programming language Prolog. Formal logic is used for specifying and verifying computer systems and (sometimes) for representing knowledge in Artificial Intelligence programs.
Proofs and Types by J. Girard, Y. Lafont, P. Taylor
 
0.0 (0)
Ebooks May 18, 2022 3

Ebook Details

Author
J. Girard, Y. Lafont, P. Taylor
Publisher
Cambridge University Press 1989
This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed, but we will never go into tedious details....
1211
 
0.0 (0)
Ebooks April 29, 2022 8

Ebook Details

Author
Jean H. Gallier
Publisher
Longman Higher Education 1986
This book is intended as an introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains some features...
1211
 
0.0 (0)
Ebooks April 28, 2022 6

Ebook Details

Author
Jean H. Gallier
Publisher
Longman Higher Education 1986
This book is intended as an introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
1132
 
0.0 (0)
Ebooks April 23, 2022 15
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. 
9 results - showing 1 - 9
0
Shares