Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.

Horst Osswald

Manuscripta mathematica (1972)

  • Volume: 6, page 17-32
  • ISSN: 0025-2611; 1432-1785/e

How to cite

top

Osswald, Horst. "Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.." Manuscripta mathematica 6 (1972): 17-32. <http://eudml.org/doc/154084>.

@article{Osswald1972,
author = {Osswald, Horst},
journal = {Manuscripta mathematica},
pages = {17-32},
title = {Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.},
url = {http://eudml.org/doc/154084},
volume = {6},
year = {1972},
}

TY - JOUR
AU - Osswald, Horst
TI - Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
JO - Manuscripta mathematica
PY - 1972
VL - 6
SP - 17
EP - 32
UR - http://eudml.org/doc/154084
ER -

NotesEmbed ?

top

You must be logged in to post comments.