Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)

 
 

 

The formula-controlled logical computer ``Stanislaus''


Author: F. L. Bauer
Journal: Math. Comp. 14 (1960), 64-67
MSC: Primary 68.00
DOI: https://doi.org/10.1090/S0025-5718-1960-0135685-3
MathSciNet review: 0135685
Full-text PDF

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [1] J. Lukasiewicz & A. Tarski, ``Untersuchungen über den Aussagenkalkül,'' Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23, p. 31-32, 1930; and Paul Rosenbloom, The Elements of Mathematical Logic, New York, 1950.
  • [2] Private Communication, not published. Angstl reported on his results in a seminar on logistics held in 1950 at the University of Munich by Professor W. Britzelmayr.
  • [3] W. Burkhart, ``Electrical analysis of truth functions,'' Thesis.
  • [4] Arthur W. Burks, Don Warren & Jesse B. Wright, ``An analysis of a logical machine using parenthesis-free notation,'' MTAC, v. 8, 1954, p. 53-57. MR 0061484 (15:833e)

Similar Articles

Retrieve articles in Mathematics of Computation with MSC: 68.00

Retrieve articles in all journals with MSC: 68.00


Additional Information

DOI: https://doi.org/10.1090/S0025-5718-1960-0135685-3
Article copyright: © Copyright 1960 American Mathematical Society

American Mathematical Society