skip to content
Propositional calculus, Boolean algebras, predicate calculus
ClosePreview this item

Propositional calculus, Boolean algebras, predicate calculus

Author: René Cori; Daniel Lascar
Publisher: Oxford [u.a.] Oxford Univ. Press 2002
Series: Mathematical logic, : a course with exercises / René Cori and Daniel Lascar ; Pt. 1
Edition/Format:   Book : English : ReprintedView all editions and formats
Summary:

The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students study. Assuming no prior knowledge of the  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: René Cori; Daniel Lascar
ISBN: 0198500491 9780198500490
OCLC Number: 255305481
Notes: Literaturverz. S. [330] - 331
Nebent.: Propositional calculus, Boolean algebras, predicate calculus, completeness theorems
Description: XIX, 338 S. 24 cm
Contents: Foreword; Introduction; How to use the book; 1. Propositional Calculus; 2. Boolean Algebras; 3. Predicate Calculus; 4. Completeness Theorems; Answers to the exercises of chapters 1-4; Bibliography; Notations; Index
Series Title: Mathematical logic, : a course with exercises / René Cori and Daniel Lascar ; Pt. 1
Other Titles: Propositional calculus, Boolean algebras, predicate calculus, completeness theorems
More information:

Reviews

Editorial reviews

Publisher Synopsis

Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.