Ceres in Intuitionistic Logic

Cerna, David; Leitsch, Alexander; Reis, Giselle; Wolfsteiner, Simon

by David Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner

Reference:

Ceres in Intuitionistic LogicDavid Cerna, Alexander Leitsch, Giselle Reis, Simon WolfsteinerAnnals of Pure and Applied Logic, 2017.Note: To Appear

Bibtex Entry:

@string{apal="Annals of Pure and Applied Logic"}
@article{CernaLRW17,
    author    = {David Cerna and
               Alexander Leitsch and
               Giselle Reis and
               Simon Wolfsteiner},
  title     = {Ceres in Intuitionistic Logic},
  journal   = {APAL},
  year      = {2017},
  note      = {To Appear}
}