
Download App
>> | LShop | >> | Book | >> | Mathematics & Scienc... | >> | Mathematics | >> | Lectures In Logic An... |
ISBN
:
9780521753739
Publisher
:
Cambridge University Press
Subject
:
Mathematics
Binding
:
HARDCOVER
Pages
:
340
Year
:
2003
₹
17913.0
₹
13613.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 15-18 Business Days
View DetailsDescription
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.
Related Items
-
of
Lectures in Logic and Set Theory, Volume 2: Set Theory (Cambridge Studies in Advanced Mathematics)
George Tourlakis
Starts At
13613.0
17913.0
24% OFF
The Upside of Irrationality: The Unexpected Benefits of Defying Logic at Work and at Home
Dan Ariely
Starts At
233.0
299.0
22% OFF
Abstract Sets and Finite Ordinals: An Introduction to the Study of Set Theory (Dover Books on Mathematics)
G. B. Keene
Starts At
570.0
792.0
28% OFF
Introduction to Elementary Mathematical Logic
Abram Aronovich Stolyar
Starts At
812.0
934.0
13% OFF
Theory Of Gambling And Statistical Logic, 2nd Edition
Epstein Richard A.
Starts At
3108.0
4090.0
24% OFF
Logic from Russell to Church, Volume 5 (Handbook of the History of Logic)
Dov M. Gabbay
Starts At
21641.0
25164.0
14% OFF
Quantification In Nonclassical Logic, Volume 153
Gabbay Dov M
Starts At
18339.0
21325.0
14% OFF
Logic-Based Knowledge Representation (Logic Programming)
Peter Jackson
Starts At
3667.0
4265.0
14% OFF
Equational Logic as a Programming Language (Foundations of Computing)
Michael J. O'Donnell
Starts At
3664.0
4261.0
14% OFF
Are you sure you want to remove the item from your Bag?
Yes
No
Added to Your Wish List
OK
Your Shopping Bag
- 2 Items
Item
Delivery
Unit Price
Quantity
Sub Total
Order Summary