Search alternatives:
constructive examination » nondestructive examination, construction examinations, destructive examination
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...”