The Theory of Counting Techniques

&
Journal of Symbolic Logic 19 (1):56-57 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267657

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Theodore Singer, The Theory of Counting Techniques; Robert L. Ashenhurst, The Application of Counting Techniques. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):56-57.
H. Allen Curtis. A functional canonical form. Journal of the Association for Computing Machinery, vol. 6 , pp. 245–258. - H. Allen Curtis. Multifunctional circuits in functional canonical form. Journal of the Association for Computing Machinery, vol. 6 , pp. 538–547. - H. Allen Curtis. A new approach to the design of switching circuits. D. Van Nostrand Company, Inc., Princeton-Toronto-London-New York, 1962, viii + 635 pp. - R. L. Ashenhurst. The decomposition of switching functions. Therein, pp. 571–602. - Theodore Singer. The decomposition chart as a theoretical aid. Therein, pp. 602–620. [REVIEW]Harold S. Stone - 1972 - Journal of Symbolic Logic 37 (4):760-762.
Hailperin Theodore. A theory of restricted quantification.R. Sherman Lehman - 1960 - Journal of Symbolic Logic 25 (2):175-176.
Hailperin Theodore. Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Second revised and enlarged edition of L 851. Studies in logic and the foundations of mathematics, vol. 85. North-Holland, Amsterdam, New York, etc., 1986, xii + 428 pp. [REVIEW]N. T. Gridgeman - 1988 - Journal of Symbolic Logic 53 (4):1253-1254.
Stanley Robert L.. A theory of subjunctive conditionals. Philosophy and phenomenological research, vol. 17 , pp. 22–35.Alan Ross Anderson - 1957 - Journal of Symbolic Logic 22 (3):324-325.
Stanley Robert L.. Simplified foundations for mathematical logic.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):322-323.
Hailperin Theodore. Quantification theory and empty individual domains. [REVIEW]John Myhill - 1955 - Journal of Symbolic Logic 20 (3):284-284.
First-order and counting theories of ω-automatic structures.Dietrich Kuske & Markus Lohrey - 2008 - Journal of Symbolic Logic 73 (1):129-150.
Robert L. Constable. Types in logic, mathematics and programming. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 683–786. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):476-477.
Robert McNaughton. The theory of automata, a survey. Advances in computers, Volume 2, edited by Franz L. Alt, Academic Press, New York and London1961, pp. 379–421. [REVIEW]S. Huzino - 1972 - Journal of Symbolic Logic 37 (4):760.

Analytics

Added to PP
2015-02-05

Downloads
15 (#1,234,880)

6 months
4 (#1,249,987)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references