Items related to Mathematical Logic and Computability (International...

Mathematical Logic and Computability (International Series in Pure & Applied Mathematics) - Hardcover

Book 7 of 11: International Series in Pure & Applied Mathematics

Keisler, H. Jerome; Robbin, Joel

 
9780071144261: Mathematical Logic and Computability (International Series in Pure & Applied Mathematics)

Synopsis

Intended for a one-semester advanced undergraduate course in mathematical logic, this text requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring examples, is also available.

"synopsis" may belong to another edition of this title.