Eike Ritter

Langue :anglais
Sexe :masculin
Note :
En poste : University of Birmingham, GB (en 2004)
ISNI :ISNI 0000 0001 1561 7159

Ses activités

Auteur du texte1 document

  • Reductive logic and proof-search

    proof theory, semantics, and control

    Description matérielle : 1 vol. (XV-208 p.)
    Description : Note : Bibliogr. p. 197-204
    Édition : Oxford : Clarendon press , 2004
    Auteur du texte : David J. Pym

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb39187398h]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter, 2004
  • LC Authorities (2006-07-26)

Pages équivalentes