This site is supported by donations to The OEIS Foundation.
Differential Logic and Dynamic Systems • References
From OeisWiki
Author: Jon Awbrey
• Overview • Part 1 • Part 2 • Part 3 • Part 4 • Part 5 • Appendices • References • Document History •
References
Works Cited
[AuM] | Auslander, L., and MacKenzie, R.E., Introduction to Differentiable Manifolds, McGraw-Hill, 1963. Reprinted, Dover, New York, NY, 1977. |
[BiG] | Bishop, R.L., and Goldberg, S.I., Tensor Analysis on Manifolds, Macmillan, 1968. Reprinted, Dover, New York, NY, 1980. |
[Boo] | Boole, G., An Investigation of The Laws of Thought, Macmillan, 1854. Reprinted, Dover, New York, NY, 1958. |
[BoT] | Bott, R., and Tu, L.W., Differential Forms in Algebraic Topology, Springer-Verlag, New York, NY, 1982. |
[dCa] | do Carmo, M.P., Riemannian Geometry. Originally published in Portuguese, 1st editiom 1979, 2nd edition 1988. Translated by F. Flaherty, Birkhäuser, Boston, MA, 1992. |
[Che46] | Chevalley, C., Theory of Lie Groups, Princeton University Press, Princeton, NJ, 1946. |
[Che56] | Chevalley, C., Fundamental Concepts of Algebra, Academic Press, 1956. |
[Cho86] | Chomsky, N., Knowledge of Language : Its Nature, Origin, and Use, Praeger, New York, NY, 1986. |
[Cho93] | Chomsky, N., Language and Thought, Moyer Bell, Wakefield, RI, 1993. |
[DoM] | Doolin, B.F., and Martin, C.F., Introduction to Differential Geometry for Engineers, Marcel Dekker, New York, NY, 1990. |
[Fuji] | Fujiwara, H., Logic Testing and Design for Testability, MIT Press, Cambridge, MA, 1985. |
[Hic] | Hicks, N.J., Notes on Differential Geometry, Van Nostrand, Princeton, NJ, 1965. |
[Hir] | Hirsch, M.W., Differential Topology, Springer-Verlag, New York, NY, 1976. |
[How] | Howard, W.A., "The Formulae-as-Types Notion of Construction", Notes circulated from 1969. Reprinted in [SeH, 479-490]. |
[JGH] | Jones, A., Gray, A., and Hutton, R., Manifolds and Mechanics, Cambridge University Press, Cambridge, UK, 1987. |
[KoA] | Kosinski, A.A., Differential Manifolds, Academic Press, San Diego, CA, 1993. |
[Koh] | Kohavi, Z., Switching and Finite Automata Theory, 2nd edition, McGraw-Hill, New York, NY, 1978. |
[LaS] | Lambek, J., and Scott, P.J., Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, UK, 1986. |
[La83] | Lang, S., Real Analysis, 2nd edition, Addison-Wesley, Reading, MA, 1983. |
[La84] | Lang, S., Algebra, 2nd edition, Addison-Wesley, Menlo Park, CA, 1984. |
[La85] | Lang, S., Differential Manifolds, Springer-Verlag, New York, NY, 1985. |
[La93] | Lang, S., Real and Functional Analysis, 3rd edition, Springer-Verlag, New York, NY, 1993. |
[Lie80] | Lie, S., "Sophus Lie's 1880 Transformation Group Paper", in Lie Groups : History, Frontiers, and Applications, Volume 1, translated by M. Ackerman, comments by R. Hermann, Math Sci Press, Brookline, MA, 1975. Original paper 1880. |
[Lie84] | Lie, S., "Sophus Lie's 1884 Differential Invariant Paper", in Lie Groups : History, Frontiers, and Applications, Volume 3, translated by M. Ackerman, comments by R. Hermann, Math Sci Press, Brookline, MA, 1976. Original paper 1884. |
[LoS] | Loomis, L.H., and Sternberg, S., Advanced Calculus, Addison-Wesley, Reading, MA, 1968. |
[Mel] | Melzak, Z.A., Companion to Concrete Mathematics, Volume 2 : Mathematical Ideas, Modeling, and Applications, John Wiley amd Sons, New York, NY, 1976. |
[Men] | Menabrea, L.F., "Sketch of the Analytical Engine Invented by Charles Babbage" with Notes by the Translator, Ada Augusta (Byron), Countess of Lovelace, in [M&M, 225–297]. Originally published 1842. |
[M&M] | Morrison, P., and Morrison, E. (eds.), Charles Babbage on the Principles and Development of the Calculator, and Other Seminal Writings by Charles Babbage and Others, With an Introduction by the Editors, Dover, Mineola, NY, 1961. |
[P1] | Peirce, C.S., Collected Papers of Charles Sanders Peirce, vols. 1–8, C. Hartshorne, P. Weiss, and A.W. Burks (eds.), Harvard University Press, Cambridge, MA, 1931–1960. Cited as CP [volume].[paragraph]. |
[P2] | Peirce, C.S., "Qualitative Logic", in The New Elements of Mathematics, Volume 4, C. Eisele (ed.), Mouton, The Hague, 1976. Cited as NE [volume], [page]. |
[Rob] | Roberts, D.D., The Existential Graphs of Charles S. Peirce, Mouton, The Hague, 1973. |
[SeH] | Seldin, J.P., and Hindley, J.R. (eds.), To H.B. Curry : Essays on Combinatory Logic, Lambda Calculus, and Formalism, Academic Press, London, UK, 1980. |
[SpB] | Spencer-Brown, G., Laws of Form, George Allen and Unwin, London, UK, 1969. |
[Sp65] | Spivak, M., Calculus on Manifolds : A Modern Approach to Classical Theorems of Advanced Calculus, W.A. Benjamin, New York, NY, 1965. |
[Sp79] | Spivak, M., A Comprehensive Introduction to Differential Geometry, vols. 1–2. 1st edition 1970. 2nd edition, Publish or Perish Inc., Houston, TX, 1979. |
[Sty] | Styazhkin, N.I., History of Mathematical Logic from Leibniz to Peano, 1st published in Russian, Nauka, Moscow, 1964. MIT Press, Cambridge, MA, 1969. |
[Wie] | Wiener, N., Cybernetics : or Control and Communication in the Animal and the Machine, 1st edition 1948. 2nd edition, MIT Press, Cambridge, MA, 1961. |
Works Consulted
[Ami] | Amit, D.J., Modeling Brain Function : The World of Attractor Neural Networks, Cambridge University Press, Cambridge, UK, 1989. |
[Ed87] | Edelman, G.M., Neural Darwinism : The Theory of Neuronal Group Selection, Basic Books, New York, NY, 1987. |
[Ed88] | Edelman, G.M., Topobiology : An Introduction to Molecular Embryology, Basic Books, New York, NY, 1988. |
[Fla] | Flanders, H., Differential Forms with Applications to the Physical Sciences, Academic Press, 1963. Reprinted, Dover, Mineola, NY, 1989. |
[Has] | Hassoun, M.H. (ed.), Associative Neural Memories : Theory and Implementation, Oxford University Press, New York, NY, 1993. |
[KoB] | Kosko, B., Neural Networks and Fuzzy Systems : A Dynamical Systems Approach to Machine Intelligence, Prentice-Hall, Englewood Cliffs, NJ, 1992. |
[MaB] | Mac Lane, S., and Birkhoff, G., Algebra, 3rd edition, Chelsea, New York, NY, 1993. |
[Mac] | Mac Lane, S., Categories for the Working Mathematician, Springer-Verlag, New York, NY, 1971. |
[McC] | McCulloch, W.S., Embodiments of Mind, MIT Press, Cambridge, MA, 1965. |
[Mc1] | McCulloch, W.S., "A Heterarchy of Values Determined by the Topology of Nervous Nets", Bulletin of Mathematical Biophysics, vol. 7 (1945), pp. 89–93. Reprinted in [McC]. |
[MiP] | Minsky, M.L., and Papert, S.A., Perceptrons : An Introduction to Computational Geometry, MIT Press, Cambridge, MA, 1969. 2nd printing 1972. Expanded edition 1988. |
[Rum] | Rumelhart, D.E., Hinton, G.E., and McClelland, J.L., "A General Framework for Parallel Distributed Processing" = Chapter 2 in Rumelhart, McClelland, and the PDP Research Group, Parallel Distributed Processing, Explorations in the Microstructure of Cognition, Volume 1 : Foundations, MIT Press, Cambridge, MA, 1986. |
Incidental Works
[Dew] | Dewey, John, How We Think, D.C. Heath, Lexington, MA, 1910. Reprinted, Prometheus Books, Buffalo, NY, 1991. |
[Fou] | Foucault, Michel, The Archaeology of Knowledge and The Discourse on Language, A.M. Sheridan-Smith and Rupert Swyer (trans.), Pantheon, New York, NY, 1972. Originally published as L´Archéologie du Savoir et L´ordre du discours, Editions Gallimard, 1969 & 1971. |
[Hom] | Homer, The Odyssey, with an English translation by A.T. Murray, Loeb Classical Library, Harvard University Press, Cambridge, MA, 1980. First printed 1919. |
[Jam] | James, William, Pragmatism : A New Name for Some Old Ways of Thinking, Longmans, Green, and Company, New York, NY, 1907. |
[Ler] | Leroux, Gaston, The Phantom of the Opera, foreword by P. Haining, Dorset Press, New York, NY, 1988. Originally published in French, 1911. |
[Mus] | Musil, Robert, The Man Without Qualities, 3 volumes, translated with a foreword by Eithne Wilkins and Ernst Kaiser, Pan Books, London, UK, 1979. English edition first published by Secker and Warburg, 1954. Originally published in German, Der Mann ohne Eigenschaften, 1930 & 1932. |
[PlaR] | Plato, The Republic, with an English translation by Paul Shorey, Loeb Classical Library, Harvard University Press, Cambridge, MA, 1980. First printed 1930 & 1935. |
[PlaS] | Plato, The Sophist, Loeb Classical Library, William Heinemann, London, 1921, 1987. |
[Qui] | Quine, W.V., Mathematical Logic, 1st edition, 1940. Revised edition, 1951. Harvard University Press, Cambridge, MA, 1981. |
[SaD] | de Santillana, Giorgio, and von Dechend, Hertha, Hamlet's Mill : An Essay on Myth and the Frame of Time, David R. Godine, Publisher, Boston, MA, 1977. 1st published 1969. |
[Sha] | Shakespeare, William, William Shakespeare : The Complete Works, Compact Edition, S. Wells and G. Taylor (eds.), Oxford University Press, Oxford, UK, 1988. |
[Sh1] | Shakespeare, William, A Midsummer Night's Dream, Washington Square Press, New York, NY, 1958. |
[Sh2] | Shakespeare, William, The Tragedy of Hamlet, Prince of Denmark, In [Sha], pp. 654–690. |
[Sh3] | Shakespeare, William, Measure for Measure, Washington Square Press, New York, NY, 1965. |
[Web] | Webster's Ninth New Collegiate Dictionary, Merriam-Webster, Springfield, MA, 1983. |
[Whi] | Whitman, Walt, Leaves of Grass, Vintage Books / The Library of America, New York, NY, 1992. Originally published in numerous editions, 1855–1892. |
[Wil] | Wilhelm, R., and Baynes, C.F. (trans.), The I Ching, or Book of Changes, foreword by C.G. Jung, preface by H. Wilhelm, 3rd edition, Bollingen Series XIX, Princeton University Press, Princeton, NJ, 1967. |
• Overview • Part 1 • Part 2 • Part 3 • Part 4 • Part 5 • Appendices • References • Document History •
Categories:
- Adaptive systems
- Artificial intelligence
- Boolean algebra
- Boolean functions
- Category theory
- Combinatorics
- Computation theory
- Cybernetics
- Differential logic
- Discrete systems
- Dynamical systems
- Formal languages
- Formal sciences
- Formal systems
- Functional logic
- Graph theory
- Group theory
- Logic
- Logical graphs
- Neural networks
- Peirce, Charles Sanders
- Semiotics
- Systems theory
- Visualization