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 |
Browsing University of Sargodha-Central Library Shelves Close shelf browser
| No cover image available | ||||||||
| 511.1 GUD Discrete mathematical structures/ | 511.1 SIA A textbook of Discrete Mathematics | 511.3 BAP Problem solving in mathematics / | 511.3 COM Mathematical logic : | 511.3 KLF Fuzzy sets and fuzzy logic : | 511.3 KLF Fuzzy sets and fuzzy logic : | 511.3 MAI Introduction to languages and the theory of computation / |
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.