This book is a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries of the last 10 to 15 years, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems. The book contains the first textbook presentation of Matijasevic's result. The central notions are provability and...
A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Gödel and Tarski, and Cohen's theorem on the independence...
Neal Koblitz is a Professor of Mathematics at the University of Washington in the Department of Mathematics. He is also an adjunct professor with the Centre for Applied Cryptographic Research at the University of Waterloo. He is the creator of hyperelliptic curve cryptography and the independent co-creator of elliptic curve cryptography. Professor Koblitz received his undergraduate degree from Harvard University, where he was a Putnam Fellow, in...
"About this title" may belong to another edition of this title.
US$ 3.79 shipping within U.S.A.
Destination, rates & speedsSeller: Tim's Used Books Provincetown Mass., Provincetown, MA, U.S.A.
Hardcover. Condition: Very Good. 1st Edition. 2000's printing of 1977 book. Extra clean. No marks in text. Not a library book. Ships in a cardboard enclosure. Thank you, from Tim's Used Books, open shop in Provincetown USA; buyers and sellers of good books at fair prices on the same spot since 1991. Seller Inventory # 2492013
Quantity: 1 available
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Hardcover. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.5. Seller Inventory # G0387902430I4N00
Quantity: 1 available
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 491868-6
Quantity: 1 available
Seller: online-buch-de, Dozwil, Switzerland
Hardcover. Condition: gebraucht; wie neu. Hardcover, ungebraucht. Seller Inventory # 521-3-69
Quantity: 1 available