Oxford Texts in Logic – serie
Visar alla böcker i serien Oxford Texts in Logic. Handla med fri frakt och snabb leverans.
6 produkter
A First Course in Logic
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Av Shawn Hedman
Inbunden, 2004
3796 kr
Lägg i varukorg
A First Course in Logic
An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Av Shawn Hedman
Häftad, 2004
1830 kr
Lägg i varukorg
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in …
Proof and Disproof in Formal Logic
Inbunden, 2005
1294 kr
Lägg i varukorg
Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.
Proof and Disproof in Formal Logic
An Introduction for programmers
Häftad, 2005
984 kr
Lägg i varukorg
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and …
Mathematical Logic
Av Ian Chiswell, Wilfrid Hodges
Inbunden, 2007
3315 kr
Lägg i varukorg
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an …
Mathematical Logic
Av Ian Chiswell, Wilfrid Hodges
Häftad, 2007
1500 kr
Lägg i varukorg
Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an …
