My Library

University LibraryCatalogue

Request Save to My Lists Export
     
Limit search to items available for borrowing or consultation
 
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

PRINTED BOOKS
Author Cori, René.

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

Published Oxford : Oxford University Press, 2000-2001, [reprinted 2007]

Copies

Location Call No. Status
 UniM Bund  511.3 CORI {Bund89 L4:B}  v.2    AVAILABLE
Uniform title Logique mathématique. English
Physical description 2 volumes ; 24 cm
Bibliography Includes bibliographical references and index.
Contents pt. 1. Propositional calculus, Boolean algebras, predicate calculus -- pt. 2. Recursion theory, Gödel's theorems, set theory, model theory.
Other author Lascar, D. (Daniel), 1942-
Pelletier, Donald H., 1941-
Subject Logic, Symbolic and mathematical.
ISBN 9780198500483 (paperback: pt. 1)
9780198500506 (paperback: pt. 2)