An examination of adequacy conditions for confirmation
By: by Marsha Pearlman Hanen
Published: 1970
Language: eng
Number of pages: 264
Subjects: Verification (Logic)
Notes: Thesis (Ph. D.)--Brandeis University, 1970.

Bibliography: leaves 258-264.