Semantics and Logics of Computation

Name: Semantics and Logics of Computation
Brand: Cambridge University Press
SKU: 9780521580571
Price: 698.59 PLN
Availability: InStock

Autor: P. Dybjer, A. Pitts, Andrew M. Pitts

Język:

Oprawa: Twarda

Wydawca: Cambridge University Press

Dostępność: Dostępna u dostawcy

Wysyłamy za 14-21 dni

698.59 zł

The aim of this volume is to present developments in semantics and logics of computation in a way th...

Informacje o książce

Autor

P. Dybjer, A. Pitts, Andrew M. Pitts

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

1997

strony

376

EAN

9780521580571

ISBN

0521580579

Enbook ID

02036048

Wydawca

Cambridge University Press

Waga

650

Wymiary

157 x 235 x 25

Pełny opis

The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Semantics and Logics of Computation

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również