Labelled Deduction - Applied Logic Series - Luca Vigano - Knjige - Springer - 9780792362371 - 30. aprila 2000
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Labelled Deduction - Applied Logic Series 2000 edition

Cena
€ 114,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 13. - 27. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Luca Vigano
Dodaj na svoj seznam želja iMusic

Not rated yet

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.


278 pages, biography

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 30. aprila 2000
ISBN13 9780792362371
Založniki Springer
Strani 267
Dimenzije 170 × 244 × 17 mm   ·   576 g
Jezik Angleščina  
Urednik Basin, David
Urednik D'Agostino, M.
Urednik Gabbay, Dov M.
Urednik Matthews, Sean
Urednik Vigano, Luca

Več od Luca Vigano

Več od istega **izdajatelja**