My Library

University LibraryCatalogue

Request Save to My Lists Export
     
Limit search to items available for borrowing or consultation
Result Page: Previous Next
 
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)