Cambridge University Press

Proof Theory and Logic Programming

Name: Proof Theory and Logic Programming
Brand: Cambridge University Press
SKU: 331d2019def897a71994ec80e713e7a0

1/1

Afbeelding van Proof Theory and Logic Programming

Bol

Prijzen vanaf

88,99

Gesponsorde links

	88,99	Naar shop
	100,54	Naar shop
VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Bol This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.

Lees meer

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 88,99 Gratis verzending

€ 100,54 Gratis verzending

Beschrijving (1)

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.

Lees meer