Reviews matching “Ordinal logics and the characterization of informal concepts of proof”

1 result

BookAuthorReviewerJournalDate
Ordinal logics and the characterization of informal concepts of proof G. Kreisel Dana Scott The Journal of Symbolic Logic 1962

Open this search with filters