Filter your results

  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.

Search results

Showing 1-5 of 5 results

Select/deselect all
  • Export citations

[Omnibus Review]

Prawitz, Dag
Journal of Symbolic Logic Volume 56, Number 3 (September, 1991), 1094-1096.

Journal article

Hauptsatz for Higher Order Logic

Prawitz, Dag
Journal of Symbolic Logic Volume 33, Number 3 (September, 1968), 452-457.

Journal article
Select/deselect all