511.3  / C813M <br/>
Cori,Rene <br/>
       MATHEMATICAL LOGIC 
 / A COURSE WITH EXERCISES 
 .-  Oxford Univ. Pr., New York,  c2001 
 .- xx,331,pt -2 . 
<br/>Part -2 Recursion Theroy, Godel'S Theorems,Set Theory, Model Theory Part - 1propositional Calculus,Boolean Algebras, Predicate Calculus, Completeness Theorems 
<br><u>ISBN:</u> 0198500505 
<br/><u>Subject Headings:</u> <br/>Logic, Symbolic And Mathematical;
<br/><U>Author Added Entry: </u><br/>Lascar,Daniel;
<br><U>Copy Details:</u><br> Acc. No.: <b>A136013</b>, Full Call No.: 511.3 C813M,   Item type:  Text Books , Location: TEXT, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>