Type Theory and Formal Proof: An Introduction

Name: Type Theory and Formal Proof: An Introduction
Brand: Cambridge University Press
SKU: 141945d0e5b523ee6103ad51b39c9d09

1/1

Prices from

64.23

Description

Type Theory and Formal Proof: An Introduction

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 64.23

£ 69.98

Description (0)

Type Theory and Formal Proof: An Introduction

Brand	Cambridge University Press
EAN	9781107036505

Theory of Automata and Formal Languages: An Introduction to Systems Computational

Rajiv Mani

Theory of Computation: An Introduction to Formal Languages & Automata

OUP Oxford

An Introduction to Proof Theory: Normalization, Cut Elimination, and Consistency Proofs

OUP Oxford

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs