Výsledky hledání pro autora

1

Obálka

Derivation and computation : taking the Curry-Howard corespondence seriously /

Autor Simmons, Harold, 1942-
Vydáno 2000

Kniha

2

Obálka

An introduction to category theory /

Autor Simmons, Harold, 1942-
Vydáno 2011

Kniha

3

Obálka

Proof theory : a selection of papers from the leeds proof theory programme 1990 /

Vydáno 1992

Další autoři: '; “...Simmons, Harold, 1942-...”

Kniha