Automated reasoning in higher-order logic: set comprehension and extensionality in Church's … by Brown, Chad E. fromStudies in logic 0 Type: Book
Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory by Brown, Chad E. fromStudies in logic 0 Type: Book
Automated reasoning in higher-order logic: set comprehension and extensionality in Church's … by Brown, Chad E. fromStudies in logic 0 Type: Book
