A resolution style proof procedure for higher-order logic /

Thesis--Illinois.

Complete problems in the first-order predicate calculus /

"UILU-ENG 79 1726."

Statistical-physical models of man-made and natural radio noise : part IV, Determination of the first-order parameters of class A and B interference /

Issued Sept. 1978.

Regular singular points of a system of homogeneous linear differential equations of the first order.

"From Proceedings of the American Academy of Arts and Sciences, v.38, no. 9, Oct. 1902."

Operator, organizational, direct support, general support, and depot maintenance manual : theodolite, directional, 2/10 sec graduation, first-order, with accessories, trivet, tripod, and cases (Kern model DKM3M) FSN 6675-455-9200.

Includes index.