Dangos 1 - 4 canlyniadau o 4 ar gyfer chwilio 'Bimbo, Katalin', amser ymholiad: 0.01e Mireinio'r Canlyniadau
  1. 1
    Proof theory: sequent calculi and related formalisms
    gan Bimbo, Katalin
    Cyhoeddwyd 2015
    Printed Book
  2. 2
    Proof theory sequent calculi and related formalisms
    gan Bimbo, Katalin
    Cyhoeddwyd 2015
    Printed Book
  3. 3
    Combinatory logic pure applied and typed
    gan Bimbo, Katalin
    Cyhoeddwyd 2012
    Printed Book
  4. 4
    Combinatory logic : pure, applied and typed /
    gan Bimbó, Katalin
    Cyhoeddwyd 2012
    Printed Book
Offerynnau Chwilio: Cael Porthiant RSS — E-bostio'r Chwiliad hwn