A01=Jose L. Zalabardo
advanced logic for mathematics students
Andy
Author_Jose L. Zalabardo
Avp
Category=QD
Composition Devices
Conjunctive Proposition
Countable Language
Decimal Expansion
Dense
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Finite Set
formal systems
Individual Constants
Infinite Cardinal
Infinite Structure
Logical Consequence
logical deduction methods
Lowenheim Skolem Theorem
Material Conditional
Maximal Element
model theory
Natural Number
Nonstandard Elements
Nonstandard Models
Positive Integer
predicate calculus
proof theory
Pure Set
Secret Exits
Semantic Pattern
set cardinality
Syntactic Pattern
Truth Functional Compounds
Variable Interpretation
Product details
- ISBN 9780367316358
- Weight: 453g
- Dimensions: 152 x 229mm
- Publication Date: 28 Aug 2019
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on induct
Jose L. Zalabardo was born in Madrid in 1964, and educated at the Universidad Aut243noma de Madrid, the University of St. Andrews and the University of Michigan, where he obtained a Ph.D. in 1994. He was a lecturer at the University of Birmingham from 1994 to 2000. In 2000 he joined the University College London Philosophy Department, where he is now a reader. He is associate editor of Mind.
