Computability theory is at the heart of theoretical computer science. Yet, ironically, many of its basic results were discovered by mathematical logicians prior to the development of the first stored-program computer. As a result, many texts on computability theory strike today's computer science students as far removed from their concerns. To remedy this, we base our approach to computability on the language of while-programs, a lean subset of PASCAL, and...
Shipping:
FREE
Within U.S.A.
Seller: SecondSale, Montgomery, IL, U.S.A.
Condition: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc. Seller Inventory # 00081235259
Quantity: 1 available
Seller: ThriftBooks-Dallas, Dallas, TX, 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.2. Seller Inventory # G0387907432I4N00
Quantity: 1 available
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
hardcover. Condition: Good. Good hardcover with some shelfwear; may have previous owner's name inside. Standard-sized. Seller Inventory # mon0000268645
Quantity: 1 available
Seller: Antiquariat Smock, Freiburg, Germany
Condition: Sehr gut. Formateinband: illustrierter Pappband / gebundene Ausgabe VIII, 251 S. (24,5 cm) 1st Edition; Gut und sauber erhalten. Sprache: Englisch Gewicht in Gramm: 700 [Stichwörter: ]. Seller Inventory # 74053
Quantity: 1 available
Seller: The Book Spot, Sioux Falls, MN, U.S.A.
Hardcover. Condition: New. Seller Inventory # Abebooks27535
Quantity: 1 available