Search alternatives:
constructive determination » nondestructive determination, structure determination, constructive definition
style ramified » style unified
a russell » _ russell
type » types
Cover Image
Read Now

1
by Heinzmann, Gerhard
Published 2021
Springer Nature
Subjects: “...Constructive Examination of a Russell-style Ramified Type Theory...”