Proofs and types /

Proofs and types /

41

Bibliografiska uppgifter
Huvudupphovsmän: 291662 Girard, Jean-Yves, Taylor, Paul, Lafont, Yves
Materialtyp:
Publicerad: Cambridge : Cambridge University Press, 1989
Ämnen:
Proof theory
Logic, Symbolic and mathematical

Liknande verk