Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
- Publisher's listprice GBP 185.00
-
88 383 Ft (84 175 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 10% (cc. 8 838 Ft off)
- Discounted price 79 545 Ft (75 758 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
88 383 Ft
Availability
printed on demand
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number and title :Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
- Publisher OUP Oxford
- Date of Publication 7 September 2000
- Number of Volumes laminated boards
- ISBN 9780198500490
- Binding Hardback
- No. of pages358 pages
- Size 241x161x24 mm
- Weight 638 g
- Language English 0
Categories
Short description:
The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students will study. Assuming no prior knowledge of the topic, this book provides an accessible introduction for advanced undergraduate students.
MoreLong description:
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.
MoreTable of Contents:
Foreword
Introduction
How to use the book
Propositional Calculus
Boolean Algebras
Predicate Calculus
Completeness Theorems
Answers to the exercises of chapters 1-4
Bibliography
Notations
Index
