The formula-controlled logical computer “Stanislaus”
HTML articles powered by AMS MathViewer
- by F. L. Bauer PDF
- Math. Comp. 14 (1960), 64-67 Request permission
References
-
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.
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.
W. Burkhart, “Electrical analysis of truth functions,” Thesis.
- Arthur W. Burks, Don W. Warren, and Jesse B. Wright, An analysis of a logical machine using parenthesis-free notation, Math. Tables Aids Comput. 8 (1954), 53–57 (1 plate). MR 61484, DOI 10.1090/S0025-5718-1954-0061484-4
Additional Information
- © Copyright 1960 American Mathematical Society
- 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