MPG.eBooks - Search Results - "construction examinations of a russell-style ramified type theory"

Search alternatives:
"construction examinations of a russell-style ramified type theory" » "construction applications of a russell-style ramified type theory", "corporation examinations of a russell-style ramified type theory", "constructions applications of a russell-style ramified type theory", "construction examinations of a russell-style unified type theory", "construction examinations of _ russell-style ramified type theory", "construction examinations of a russell-style ramified types theory"

Cover Image

1

Paul Lorenzen -- Mathematician and Logician

by Heinzmann, Gerhard
Published 2021

Springer Nature

Subjects: “...Constructive Examination of a Russell-style Ramified Type Theory...”