Povej prijatelju o tem izdelku:
Basic Proof Theory - Cambridge Tracts in Theoretical Computer Science Troelstra, A. S. (Universiteit van Amsterdam) 2 Revised edition
Cena
€ 59,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 5. - 12. okt
Prejemajte obvestila o novih izdajah izvajalca Troelstra, A. S. (Universiteit van Amsterdam)
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Basic Proof Theory - Cambridge Tracts in Theoretical Computer Science
Troelstra, A. S. (Universiteit van Amsterdam)
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
432 pages, 3 b/w illus. 201 exercises
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 27. julija 2000 |
| ISBN13 | 9780521779111 |
| Založniki | Cambridge University Press |
| Strani | 432 |
| Dimenzije | 153 × 229 × 26 mm · 642 g |
| Jezik | Angleščina |
| Urednik serije | Abramsky, S. |
| Urednik serije | Aczel, P. H. |
| Urednik serije | Bakker, J. W. de |
| Urednik serije | Gurevich, Y. |
| Urednik serije | Tucker, J. V. |
| Urednik serije | Van Rijsbergen, C. J. |
