Geodesic

Volume 17 (1958) no. 3

Table of contents

Semantics of the predicate calculus with identity and the validity in the empty individual-domain
p. 85-96
On a nine point method for the numerical evaluation of the Stokes stream function
p. 97-106