Structural proof theory

Sparad:
Bibliografiska uppgifter
Huvudupphovsmän: Negri, Sara, 1967-, Plato, Jan von (Författare, medförfattare)
Övriga upphovsmän: Ranta, Aarne (Collaborateur)
Materialtyp: Livre papier
Språk:Anglais
Publicerad: Cambridge (GB) ; New York : Cambridge University Press 2001.
Ämnen:
Anmärkning: Autre tirage : 2008
Autres localisations: Voir dans le Sudoc

INSA CVL Bourges

Beståndsuppgifter i INSA CVL Bourges
  Placering Signum Type de prêt Status
Mathématiques 511.3 NEG Empruntable Tillgänglig
Mathématiques 511.3 NEG Empruntable Tillgänglig