Super cena
Reasoning in Simple Type Theory
- Festschrift in Honor of Peter B. Andrews on His 70th Birthday
EAN: 9781904987703
Producent
Kod produktu
741FDN03527KS
Rok wydania
2008
Elementy
480
Oprawa
Oprawa Skórzana
Miekka
Format
15.6x23.4cm
Redakcja
Benzmueller Christoph
Język
angielski
Zapytaj o produkt
Napisz swoją opinię