MPG.eBooks - Search Results - (( nondestructive determination of a russell-style ramified type theory ) OR ( constructive determination of a russell-style ramified type theory ))

Search alternatives:
nondestructive determination » nondestructive examination , nondestructive detection , structure determination
constructive determination » structure determination , constructive definition , comparative determination
style ramified » style unified
ramified type » unified type
a russell » _ russell

by Heinzmann, Gerhard
Published 2021

Springer Nature

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