Search alternatives:
physics » physical

1
by Dorn, Georg, Weingartner, Paul
Published 1985
Springer US
Table of Contents: ... -- The Incompleteness Theorems and Related Results for Nonconstructive Theories -- A Typed ?-calculus and Girard’s Model...