Shigeo Ohama

1 artykuły w 1 czasopismach

• A Sequent System of the Logic R- for Rosser Sentences Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 11 - 21

  ROK: 2004

  Shigeo Ohama Katsumi Sasaki

  Zacytuj Udostępnij
  

  CZYSTY TEKST

  pobierz cytat

  BIBTEX

  pobierz cytat