511.3 / C813M
Cori,Rene
MATHEMATICAL LOGIC / A COURSE WITH EXERCISES .- Oxford Univ. Pr., New York, c1993 .- xix,338,pt-1 .
Part - 1 Propositional Calculus , Boolean Alzebras, Predicate Calculus Part - 2 Recursion Theory, Godel'S Theorems, Set Theory, Model Theory
ISBN: 0198500483
Subject Headings:
Logic, Symbolic And Mathematical;
Author Added Entry:
Pelletier,Daniel;
Copy Details:
Acc. No.: A136012, Full Call No.: 511.3 C813M, Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Cori,Rene
MATHEMATICAL LOGIC / A COURSE WITH EXERCISES .- Oxford Univ. Pr., New York, c1993 .- xix,338,pt-1 .
Part - 1 Propositional Calculus , Boolean Alzebras, Predicate Calculus Part - 2 Recursion Theory, Godel'S Theorems, Set Theory, Model Theory
ISBN: 0198500483
Subject Headings:
Logic, Symbolic And Mathematical;
Author Added Entry:
Pelletier,Daniel;
Copy Details:
Acc. No.: A136012, Full Call No.: 511.3 C813M, Item type: Text Books , Location: TEXT,
------------------------- --------------------- ------ --------- ------- ------- --------- --------