Browsing：Home > Technical > Science/Engineering > Lectures in Logic and Set Theory Vol.I Mathematical Logic
Lectures in Logic and Set Theory Vol.I Mathematical Logic
his 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.
Book Info:
Published in 2003
ISBN 0521753732Size 16.40MB
Alternative Link:
related link：
-
Work Bridges Proof Techniques Formal Proof Mathematical Logic Mathematics Computer Phenonmenon Nonstandard Analysis Lecture Style Research Literature Bernay Volume Work Computability Godel Set Theory Hilbert Graduate Course Incompleteness Self Study Expos
- More infomation may be in the description section, read description carefully!
- Click "Ebook Search" button to find mirrors if no download links or dead links in the description.
If you like this，Welcome subscribe get more laster updated。