160 / H359F
Hedman,Shawn
A FIRST COURSE IN LOGIC
/ AN INTRODUCTION TO MODEL THEORY, PROOF THEORY, COMPUTABILITY, AND COMPLEXITY
.- Oxford Univ. Pr., Oxford, 2004
.- xx,431 .
.- ( Oxford Texts In Logic
ISBN: 0198529813
Subject Headings:
Logic;
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A149646, Full Call No.: 160 H359F, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------