Mathematical logic :
by Cori, René.
, Logique mathématique. Published by : Oxford University Press, (Oxford ; | New York :) Physical details: 2 v. ; 24 cm. ISBN:0198500491 (pt. 1 : acidfree paper); 0198500483 (pbk. : pt. 1 : acid-free paper).
Subject(s):
Logic, Symbolic and mathematical.
Year: 2000
Online resources:
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | University of Sargodha-Central Library | 511.3 COM (Browse shelf) | Available | 66116 |
Includes bibliographical references and index.
Propositional calculus, Boolean algebras, predicate calculus -- Recursion theory, Gödel's theorems, set theory. model theory.
There are no comments for this item.