Ann M. Singleterry

发表

Review: A. G. Lunc, Multiterminal Networks Containing the Closing Contacts of Internal Relays

Ann M. Singleterry, 1966 .

Review: M. I. Kratko, Formal Post Calculi and Finite Automata

Ann M. Singleterry, 1967 .

Federal Electric Corporation. Boolean algebra. A self-instructional programed manual . Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1966, ix + 246 pp.

Ann M. Singleterry, 1967 .

Review: Patrick Suppes, Mathematical Logic for the Schools; Patrick Suppes, Frederick Binford, Experimental Teaching of Mathematical Logic in the Elementary School

Ann M. Singleterry, 1967 .

Review: W. V. Quine, Logic as a Source of Syntactical Insights

Ann M. Singleterry, 1966 .

Review: Federal Electric Corporation, Boolean Algebra. A Self-Instructional Programmed Manual

Ann M. Singleterry, 1967 .

Review: Frederick Binford, Solutions to the Exercises in First Course in Mathematical Logic

Ann M. Singleterry, 1967 .

Cobham Alan. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 391–395.

Ann M. Singleterry, 1966 .

Review: Alan Cobham, Effectively Decidable Theories

Ann M. Singleterry, 1966 .

Henkin Leon and Tarski Alfred. Cylindrical algebras. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 332–340.

Ann M. Singleterry, 1967 .

Review: Alfred Tarski, Introduction to Logic and to the Methodology of Deductive Sciences

Ann M. Singleterry, 1966 .

Review: J. R. Shoenfield, The Form of the Negation of a Predicate

Ann M. Singleterry, 1968 .

Matématika v SSSR za sorok lét 1917–1957. Vol. 2. Biobibliografiá. (Mathematics in the USSR during the forty years 1917–1957. Vol. 2. Biobibliography.)

Ann M. Singleterry, 1966, Journal of Symbolic Logic.