30 found
Order:
  1.  26
    C. S. S. Peirce and E. G. A. Husserl on the Nature of Logic.Albert A. Mullin - 1966 - Notre Dame Journal of Formal Logic 7 (4):301-304.
  2.  25
    N. V. Bélákin. Vyčislénié efféktivnyh opératorov na mašinah T'úringa s ograničénnym stiraniém . Algébra i logika, Séminar, vol. 2 no. 1 , pp. 19–23. [REVIEW]Albert A. Mullin - 1972 - Journal of Symbolic Logic 37 (1):198.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  22
    Lupanov O. B.. Ob odnom métodé sintéza shém . Izvéstiá vysših učébnyh zavédénij, Radiofizika, no. 1 , pp. 120–140.Albert A. Mullin - 1970 - Journal of Symbolic Logic 35 (4):593-594.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  15
    N. V. Bélákin. Modélirovanié Mašin T'úringa Na Sétkah . Diskrétnyj Analiz, No. 1 , Pp. 32–41.Albert A. Mullin - 1972 - Journal of Symbolic Logic 37 (1):199.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  26
    On a Final Multiplicative Formulation of the Fundamental Theorem of Arithmetic.Albert A. Mullin - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (9-12):159-161.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  26
    On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):203-205.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  24
    On A Necessary Condition for the Validity of Goldbach's Conjecture.Albert A. Mullin - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (10):145-148.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  23
    Elementary Relations Between the Fundamental Theorem of Arithmetic, Schnirelmann's Classical Theorem, and Goldbach's Conjecture.Albert A. Mullin - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (13-17):199-201.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  17
    A Contribution Toward Computable Number Theory.Albert A. Mullin - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):117-119.
  10.  7
    Andreas Weiermann. An Application of Results by Hardy, Ramanujan and Karamata to Ackermannian Functions. Discrete Mathematics and Theoretical Computer Science, Vol. 6 No. 1 , Pp. 133–141. [REVIEW]Albert A. Mullin - 2005 - Bulletin of Symbolic Logic 11 (1):89-89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  12
    Hennie Frederick C. III., Iterative Arrays of Logical Circuits. M.I.T. Press Research Monograph. The M.I.T. Press, Cambridge, Mass., and John Wiley Sons, Inc., New York and London, 1961, X + 242 Pp. [REVIEW]Albert A. Mullin - 1962 - Journal of Symbolic Logic 27 (1):106-107.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Elementary Relations Between the Fundamental Theorem of Arithmetic, Schnirelmann's Classical Theorem, and Goldbach's Conjecture.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (13‐17):199-201.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  11
    On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Mathematical Logic Quarterly 9 (12‐15):203-205.
  14.  9
    Fréjvald R.. Složnost' Raspoznavaniá Simmétrii Na Mašinah T'uringa s Vhodom . Algébra L Logika, Séminar, Vol. 4 No. 1 , Pp. 47–58.Barzdin' Á. M.. Složnost' Raspoznavaniá Simmétrii Na Mašinah T'úringa . Problémy Kibérnětiki, Vol. 15 , Pp. 245–248. [REVIEW]Albert A. Mullin - 1970 - Journal of Symbolic Logic 35 (1):159-159.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  15
    On a Proper Class and Related Matters.Albert A. Mullin - 1966 - Notre Dame Journal of Formal Logic 7 (1):101-102.
  16.  11
    Review: O. B. Lupanov, On a Method of Circuit Synthesis. [REVIEW]Albert A. Mullin - 1970 - Journal of Symbolic Logic 35 (4):593-594.
  17.  15
    Some Theorems on the Structure of Mutant Sets and Their Applications to Group and Ring Theories.Albert A. Mullin - 1962 - Notre Dame Journal of Formal Logic 3 (3):148-151.
  18.  8
    Discrete Mathematics and Theoretical Computer Science.Albert A. Mullin - 2005 - Bulletin of Symbolic Logic 11 (1):89.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  9
    Review: Frederick C. Hennie III, Iterative Arrays of Logical Circuits. [REVIEW]Albert A. Mullin - 1962 - Journal of Symbolic Logic 27 (1):106-107.
  20.  10
    On a Final Multiplicative Formulation of the Fundamental Theorem of Arithmetic.Albert A. Mullin - 1964 - Mathematical Logic Quarterly 10 (9‐12):159-161.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  9
    Review: R. Frejvald, Complexity of Recognition of Symmetry on Turing Machines with Input; A. M. Barzdin, Complexity of Recognition of Symmetry on Turing Machines. [REVIEW]Albert A. Mullin - 1970 - Journal of Symbolic Logic 35 (1):159-159.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    On A Necessary Condition for the Validity of Goldbach's Conjecture.Albert A. Mullin - 1963 - Mathematical Logic Quarterly 9 (10):145-148.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  6
    Review: N. V. Belakin, Computation of Effective Operators on Turing Machines with Restricted Erasure. [REVIEW]Albert A. Mullin - 1972 - Journal of Symbolic Logic 37 (1):198-198.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  10
    A Note on a Weakened Goldbach-Like Conjecture.Albert A. Mullin - 1962 - Notre Dame Journal of Formal Logic 3 (2):118-119.
  25.  8
    Correlative Remarks Concerning Elementary Number Theory, Groups and Mutant Sets.Albert A. Mullin - 1961 - Notre Dame Journal of Formal Logic 2 (4):253-254.
  26.  8
    On New Theorems for Elementary Number Theory.Albert A. Mullin - 1967 - Notre Dame Journal of Formal Logic 8 (4):353-356.
  27.  4
    Review: N. V. Belakin, Simulation of Turing Machines on Nets. [REVIEW]Albert A. Mullin - 1972 - Journal of Symbolic Logic 37 (1):199-199.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  5
    On Differences of Certain Structured Sets.Albert A. Mullin - 1963 - Notre Dame Journal of Formal Logic 4 (2):158-160.
  29.  17
    Mathematico-Philosophical Remarks on New Theorems Analogous to the Fundamental Theorem of Arithmetic.Albert A. Mullin - 1965 - Notre Dame Journal of Formal Logic 6 (3):218-222.
  30.  3
    A Contribution Toward Computable Number Theory.Albert A. Mullin - 1965 - Mathematical Logic Quarterly 11 (2):117-119.
    Direct download  
     
    Export citation  
     
    Bookmark