A01=Jose L. Zalabardo
advanced logic for mathematics students
Andy
Author_Jose L. Zalabardo
Avp
Category=CFA
Category=QDTL
Composition Devices
Conjunctive Proposition
Countable Language
Decimal Expansion
Dense
eq_bestseller
eq_dictionaries-language-reference
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
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 9780813366029
- Weight: 453g
- Dimensions: 152 x 229mm
- Publication Date: 12 Jan 2000
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
"This strikes me as in many ways an excellent book...Zalabardo writes clearly and motivates the main ideas well... The number and variety of the excercises is a strength of the book. The instructor has room to choose excercises to suit the needs and abilities of the students"
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.
