共 50 条
- [1] THEORIES WITH RECURSIVE MODELS - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A20 - A20
- [2] OVERVIEW OF CODING THEORY - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A328 - A328
- [4] FOUNDATIONS OF RECURSIVELY PRESENTED MODELS - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (05): : A503 - A503
- [5] NONSTANDARD MEASURE THEORY IN ECONOMICS - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A222 - A223
- [6] SPECTRAL THEORY FOR PARTIAL ISOMETRIES - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A379 - A379
- [7] RECURSION THEORY WITHOUT ADMISSIBILITY - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A30 - A30
- [8] ITERATIVE METHODS IN SIEVE THEORY - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A51 - A51
- [9] TOPOS THEORY AND COMPLEX ANALYSIS - PRELIMINARY-REPORT [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A372 - A372
- [10] THEORY OF TRUTH .1. PRELIMINARY-REPORT [J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 556 - 556