Search results

Showing 1-10 of 30 results

Select/deselect all
  • Export citations

Review: Allen Hazen, Predicative Logics

Kreisel, G.
Journal of Symbolic Logic Volume 54, Number 3 (September, 1989), 1092-1094.

Journal article

A Survey of Proof Theory

Kreisel, G.
Journal of Symbolic Logic Volume 33, Number 3 (September, 1968), 321-388.

Journal article
Select/deselect all