Christian J. Renteria

2 artykuły w 1 czasopismach

• NUL: Natural Deduction for Ultrafilter Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 191 - 199

  ROK: 2003

  Edward Hermann Haeusler Christian J. Renteria Paulo A.S. Veloso

  Zacytuj Udostępnij
  

  CZYSTY TEKST

  pobierz cytat

  BIBTEX

  pobierz cytat
• A Natural Deduction System for CTL Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 4 / s. 231 - 240

  ROK: 2002

  Edward Hermann Haeusler Christian J. Renteria

  Zacytuj Udostępnij
  

  CZYSTY TEKST

  pobierz cytat

  BIBTEX

  pobierz cytat