|
Author(s): | Epstein, Richard L.; Carnielli, Walter A. |
Title: | Computability: Computable Functions, Logic, and the Foundations of Mathematics/ Richard L. Epstein, Walter A. Carnielli; with Computability and Undecidability - A Timeline: The story of the development of computable functions and the undecidability of arithmetic to 1970/ Richard L. Epstein |
Other title: | - |
Expl. Title: | - |
Orig. Title: | - |
| |
Topics (ro): | logica - matematica - sec.XX; filosofia matematicii - sec.XX; matematica - filosofie - logica; logica simbolica - logica matematica | Subiecte (en): | logic - mathematics - 20th century; philosophy of mathematics - 20th century; mathematics - philosophy - logic; symbolic logic - mathematical logic | Reviews: | Google, Amazon (UK,DE,FR), Barnes&Noble, BibNat, BCU, WorldCat, LOC |
|
Existing copies:
Nr. crt. | Nr. inv. | Vol / Nr / An | Subtitle | Copy status | 1 | 5125 | / / | | In library |
|
Publisher: | Wadsworth | Published in: | 1999 | Location: | Belmont, CA | Edition: | 2nd ed. | ISBN: | 0-534-54644-7 | ISSN: | - | Position: | Aa.2-EPS | Decimal: | 16:51 | Language: | engleza |
|
|
Series: | - | Subseries: | - | Bibliogr: | p.273-280, 29-38. | Type: | carte | Pages: | [xiv], 299, 38p. | Format: | - | Illustrations: | - |
| |
|
Notes | Remarks | Glosar
Index | - |
|