**Logic for Computer Scientists**

by Uli Furbach

**Publisher**: Wikibooks 2010

**Description**:

This logic course is intended for computer scientists and it assumes practically no previous knowledge except some basic mathematical notions like relations and orderings. The aim was to create an electronic, interactive script where logics can be experienced by interaction and experimentation.

Download or read it online for free here:

**Read online**

(online html)

## Similar books

**Intuitionistic Logic**

by

**Nick Bezhanishvili, Dick de Jongh**-

**Universiteit van Amsterdam**

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.

(

**12028**views)

**A Friendly Introduction to Mathematical Logic**

by

**Christopher C. Leary, Lars Kristiansen**-

**Milne Library Publishing**

In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.

(

**7628**views)

**forall x: An Introduction to Formal Logic**

by

**P.D. Magnus**

An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.

(

**17120**views)

**Lectures on Linear Logic**

by

**A. S. Troelstra**-

**CSLI**

This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

(

**11707**views)