|
Search | About | Preferences | Interact | Help |
| 150 million books. 1 search engine. | |
Types for Proofs and Programs:
|
| ISBN | 0387580859 / 9780387580852 / 0-387-58085-9 |
|---|---|
| Publisher | Springer Verlag |
| Language | English |
| Edition | Softcover |
| List price | $74.95 |
Buying Options
Serendipity:
- Anthropology, Folklore, and Myth by Robert A. Segal (9780815322566)
- Pediatric Traumatic Brain Injury: Proactive Intervention by Jean L. Blosser (9781565931688)
- Felipe II: Un Monarca Y Su epoca La Monarquia Hispanica by Sociedad Estatal para la Conmemoracion de los Centenarios de Felipe II y Carlos V. (9788471202291)