A Course in Mathematical Logic

by Yuri Manin

Book Overview

PROVABILITY.- to Formal Languages.- Truth and Deducibility.- The Continuum Problem and Forcing.- The Continuum Problem and Constructible Sets.- COMPUTABILITY.- Recursive Functions and Church#x2019;s... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387902430
• ISBN13: 9780387902432
• Release Date: January 1977
• Publisher: Springer
• Length: 286 Pages
• Weight: 0.55 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"