Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier.

By: Cori, RenéContributor(s): Lascar, D. (Daniel), 1942- | Pelletier, Donald H, 1941-Material type: TextTextLanguage: English Original language: French Publication details: Oxford : Oxford University Press, 2000-Description: v ; 24 cmISBN: 0198500491 (pt. 1, Hbk) :; 0198500483 (pt. 1, Pbk)Uniform titles: Logique mathématique. English Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
Contents:
Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
Books Books Koya University Central Library
Book Cart 		510 - 519 511.324 Cut C798 (Browse shelf(Opens below)) Available 000156
Browsing Koya University Central Library shelves, Shelving location: Book Cart Close shelf browser (Hides shelf browser)
No cover image available No cover image available
511.3 cut D885 No title 511.3 Cut M298 No title 511.3 Cut M379 No title 511.324 Cut C798 No title 511.5 Cut G 646 No title 511.6 Cut K81 No title 511.6 Cut K81 No title

Includes bibliographical references and index.

Contents: pt. 1. Propositional calculus, Boolean algebras, predicate calculus.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer