A first course in logic
Hedman, Shawn
A first course in logic an introduction to model theory, proof theory, computability and complexity Shawn Hedman - New York Oxford University Press 2004 - xx, 431 p. 25 cm. - Oxford texts in logic 1 .
Includes bibliography and index
9780198529811
Λογική, Συμβολική και μαθηματική
Πολυπλοκότητα
511.3
A first course in logic an introduction to model theory, proof theory, computability and complexity Shawn Hedman - New York Oxford University Press 2004 - xx, 431 p. 25 cm. - Oxford texts in logic 1 .
Includes bibliography and index
9780198529811
Λογική, Συμβολική και μαθηματική
Πολυπλοκότητα
511.3