Some Conditions for Completeness in Countable-Valued Logic. Open PDF Document Details Document Type Technical Report Publication Date May 18, 1960 Accession Number ADA356476 Entities People G. P. Gavrilov Organizations Joint Publications Research Service Tags Communities of Interest Energy and Power Technologies DTIC Thesaurus Topics Bibliographies Commerce Concrete Continuity Decomposition Guidance Intervals Logic Mathematical Logic Notation Universities