Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Book Details
Format
Hardback
Book Series
Mathematical Logic
ISBN-10
0198500491
ISBN-13
9780198500490
Publisher
Oxford University Press
Imprint
Oxford University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 7th, 2000
Print length
358 Pages
Weight
638 grams
Dimensions
24.10 x 16.10 x 2.40 cms
Product Classification:
Mathematical logic
KSh 37,200.00
Temporarily out of stock, due soon
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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.
Get Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Daniel Lascar, Rene Cori at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has 358 pages.
Customers Who Bought This Also Bought
Elements of 8-Category Theory
KSh 13,300.00
Fuzzy Set Theory—and Its Applications
KSh 47,350.00
Lectures in Logic and Set Theory
KSh 9,550.00
Complex Dynamical Systems
KSh 19,250.00
Distributed Networks
KSh 16,400.00
Suguru Puzzle Book
KSh 0.00
The Baseball Mysteries
KSh 5,450.00
Information Security and Optimization
KSh 22,500.00
Problem Solving In Operation Management
KSh 14,400.00
Belief Change
KSh 32,400.00
Neutrosophic Computing and Vague Data Analysis
KSh 22,500.00
Introduction to Modern Cryptography, Revised Third Edition
KSh 9,350.00
