12,224
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday June 13, 2026
Jump to navigationJump to searchDifferential Logic and Dynamic Systems • References (view source)
Revision as of 14:32, 17 April 2026
, 17 Aprildelete {{anchor ...}}s
{| cellpadding=3
{| cellpadding=3
| valign=top | {{anchor|AuM}}[AuM]
| valign=top | [AuM]
| Auslander, L., and MacKenzie, R.E., ''Introduction to Differentiable Manifolds'', McGraw-Hill, 1963. Reprinted, Dover, New York, NY, 1977.
| Auslander, L., and MacKenzie, R.E., ''Introduction to Differentiable Manifolds'', McGraw-Hill, 1963. Reprinted, Dover, New York, NY, 1977.
|-
|-
| valign=top | {{anchor|BiG}}[BiG]
| valign=top | [BiG]
| Bishop, R.L., and Goldberg, S.I., ''Tensor Analysis on Manifolds'', Macmillan, 1968. Reprinted, Dover, New York, NY, 1980.
| Bishop, R.L., and Goldberg, S.I., ''Tensor Analysis on Manifolds'', Macmillan, 1968. Reprinted, Dover, New York, NY, 1980.
|-
|-
| valign=top | {{anchor|Boo}}[Boo]
| valign=top | [Boo]
| Boole, G., ''An Investigation of The Laws of Thought'', Macmillan, 1854. Reprinted, Dover, New York, NY, 1958.
| Boole, G., ''An Investigation of The Laws of Thought'', Macmillan, 1854. Reprinted, Dover, New York, NY, 1958.
|-
|-
| valign=top | {{anchor|BoT}}[BoT]
| valign=top | [BoT]
| Bott, R., and Tu, L.W., ''Differential Forms in Algebraic Topology'', Springer-Verlag, New York, NY, 1982.
| Bott, R., and Tu, L.W., ''Differential Forms in Algebraic Topology'', Springer-Verlag, New York, NY, 1982.
|-
|-
| valign=top | {{anchor|dCa}}[dCa]
| valign=top | [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.
| 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.
|-
|-
| valign=top | {{anchor|Che46}}[Che46]
| valign=top | [Che46]
| Chevalley, C., ''Theory of Lie Groups'', Princeton University Press, Princeton, NJ, 1946.
| Chevalley, C., ''Theory of Lie Groups'', Princeton University Press, Princeton, NJ, 1946.
|-
|-
| valign=top | {{anchor|Che56}}[Che56]
| valign=top | [Che56]
| Chevalley, C., ''Fundamental Concepts of Algebra'', Academic Press, 1956.
| Chevalley, C., ''Fundamental Concepts of Algebra'', Academic Press, 1956.
|-
|-
| valign=top | {{anchor|Cho86}}[Cho86]
| valign=top | [Cho86]
| Chomsky, N., ''Knowledge of Language : Its Nature, Origin, and Use'', Praeger, New York, NY, 1986.
| Chomsky, N., ''Knowledge of Language : Its Nature, Origin, and Use'', Praeger, New York, NY, 1986.
|-
|-
| valign=top | {{anchor|Cho93}}[Cho93]
| valign=top | [Cho93]
| Chomsky, N., ''Language and Thought'', Moyer Bell, Wakefield, RI, 1993.
| Chomsky, N., ''Language and Thought'', Moyer Bell, Wakefield, RI, 1993.
|-
|-
| valign=top | {{anchor|DoM}}[DoM]
| valign=top | [DoM]
| Doolin, B.F., and Martin, C.F., ''Introduction to Differential Geometry for Engineers'', Marcel Dekker, New York, NY, 1990.
| Doolin, B.F., and Martin, C.F., ''Introduction to Differential Geometry for Engineers'', Marcel Dekker, New York, NY, 1990.
|-
|-
| valign=top | {{anchor|Fuji}}[Fuji]
| valign=top | [Fuji]
| Fujiwara, H., ''Logic Testing and Design for Testability'', MIT Press, Cambridge, MA, 1985.
| Fujiwara, H., ''Logic Testing and Design for Testability'', MIT Press, Cambridge, MA, 1985.
|-
|-
| valign=top | {{anchor|Hic}}[Hic]
| valign=top | [Hic]
| Hicks, N.J., ''Notes on Differential Geometry'', Van Nostrand, Princeton, NJ, 1965.
| Hicks, N.J., ''Notes on Differential Geometry'', Van Nostrand, Princeton, NJ, 1965.
|-
|-
| valign=top | {{anchor|Hir}}[Hir]
| valign=top | [Hir]
| Hirsch, M.W., ''Differential Topology'', Springer-Verlag, New York, NY, 1976.
| Hirsch, M.W., ''Differential Topology'', Springer-Verlag, New York, NY, 1976.
|-
|-
| valign=top | {{anchor|How}}[How]
| valign=top | [How]
| Howard, W.A., "The Formulae-as-Types Notion of Construction", Notes circulated from 1969. Reprinted in [SeH, 479-490].
| Howard, W.A., "The Formulae-as-Types Notion of Construction", Notes circulated from 1969. Reprinted in [SeH, 479-490].
|-
|-
| valign=top | {{anchor|JGH}}[JGH]
| valign=top | [JGH]
| Jones, A., Gray, A., and Hutton, R., ''Manifolds and Mechanics'', Cambridge University Press, Cambridge, UK, 1987.
| Jones, A., Gray, A., and Hutton, R., ''Manifolds and Mechanics'', Cambridge University Press, Cambridge, UK, 1987.
|-
|-
| valign=top | {{anchor|KoA}}[KoA]
| valign=top | [KoA]
| Kosinski, A.A., ''Differential Manifolds'', Academic Press, San Diego, CA, 1993.
| Kosinski, A.A., ''Differential Manifolds'', Academic Press, San Diego, CA, 1993.
|-
|-
| valign=top | {{anchor|Koh}}[Koh]
| valign=top | [Koh]
| Kohavi, Z., ''Switching and Finite Automata Theory'', 2nd edition, McGraw-Hill, New York, NY, 1978.
| Kohavi, Z., ''Switching and Finite Automata Theory'', 2nd edition, McGraw-Hill, New York, NY, 1978.
|-
|-
| valign=top | {{anchor|LaS}}[LaS]
| valign=top | [LaS]
| Lambek, J., and Scott, P.J., ''Introduction to Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK, 1986.
| Lambek, J., and Scott, P.J., ''Introduction to Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK, 1986.
|-
|-
| valign=top | {{anchor|La83}}[La83]
| valign=top | [La83]
| Lang, S., ''Real Analysis'', 2nd edition, Addison-Wesley, Reading, MA, 1983.
| Lang, S., ''Real Analysis'', 2nd edition, Addison-Wesley, Reading, MA, 1983.
|-
|-
| valign=top | {{anchor|La84}}[La84]
| valign=top | [La84]
| Lang, S., ''Algebra'', 2nd edition, Addison-Wesley, Menlo Park, CA, 1984.
| Lang, S., ''Algebra'', 2nd edition, Addison-Wesley, Menlo Park, CA, 1984.
|-
|-
| valign=top | {{anchor|La85}}[La85]
| valign=top | [La85]
| Lang, S., ''Differential Manifolds'', Springer-Verlag, New York, NY, 1985.
| Lang, S., ''Differential Manifolds'', Springer-Verlag, New York, NY, 1985.
|-
|-
| valign=top | {{anchor|La93}}[La93]
| valign=top | [La93]
| Lang, S., ''Real and Functional Analysis'', 3rd edition, Springer-Verlag, New York, NY, 1993.
| Lang, S., ''Real and Functional Analysis'', 3rd edition, Springer-Verlag, New York, NY, 1993.
|-
|-
| valign=top | {{anchor|Lie80}}[Lie80]
| valign=top | [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.
| 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.
|-
|-
| valign=top | {{anchor|Lie84}}[Lie84]
| valign=top | [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.
| 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.
|-
|-
| valign=top | {{anchor|LoS}}[LoS]
| valign=top | [LoS]
| Loomis, L.H., and Sternberg, S., ''Advanced Calculus'', Addison-Wesley, Reading, MA, 1968.
| Loomis, L.H., and Sternberg, S., ''Advanced Calculus'', Addison-Wesley, Reading, MA, 1968.
|-
|-
| valign=top | {{anchor|Mel}}[Mel]
| valign=top | [Mel]
| Melzak, Z.A., ''Companion to Concrete Mathematics, Volume 2 : Mathematical Ideas, Modeling, and Applications'', John Wiley amd Sons, New York, NY, 1976.
| Melzak, Z.A., ''Companion to Concrete Mathematics, Volume 2 : Mathematical Ideas, Modeling, and Applications'', John Wiley amd Sons, New York, NY, 1976.
|-
|-
| valign=top | {{anchor|Men}}[Men]
| valign=top | [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.
| 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.
|-
|-
| valign=top | {{anchor|M&M}}[M&M]
| valign=top | [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.
| 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.
|-
|-
| valign=top | {{anchor|P1}}[P1]
| valign=top | [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].
| 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].
|-
|-
| valign=top | {{anchor|P2}}[P2]
| valign=top | [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].
| 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].
|-
|-
| valign=top | {{anchor|Rob}}[Rob]
| valign=top | [Rob]
| Roberts, D.D., ''The Existential Graphs of Charles S. Peirce'', Mouton, The Hague, 1973.
| Roberts, D.D., ''The Existential Graphs of Charles S. Peirce'', Mouton, The Hague, 1973.
|-
|-
| valign=top | {{anchor|SeH}}[SeH]
| valign=top | [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.
| 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.
|-
|-
| valign=top | {{anchor|SpB}}[SpB]
| valign=top | [SpB]
| Spencer-Brown, G., ''Laws of Form'', George Allen and Unwin, London, UK, 1969.
| Spencer-Brown, G., ''Laws of Form'', George Allen and Unwin, London, UK, 1969.
|-
|-
| valign=top | {{anchor|Sp65}}[Sp65]
| valign=top | [Sp65]
| Spivak, M., ''Calculus on Manifolds : A Modern Approach to Classical Theorems of Advanced Calculus'', W.A. Benjamin, New York, NY, 1965.
| Spivak, M., ''Calculus on Manifolds : A Modern Approach to Classical Theorems of Advanced Calculus'', W.A. Benjamin, New York, NY, 1965.
|-
|-
| valign=top | {{anchor|Sp79}}[Sp79]
| valign=top | [Sp79]
| Spivak, M., ''A Comprehensive Introduction to Differential Geometry'', vols. 1–2. 1st edition 1970. 2nd edition, Publish or Perish Inc., Houston, TX, 1979.
| Spivak, M., ''A Comprehensive Introduction to Differential Geometry'', vols. 1–2. 1st edition 1970. 2nd edition, Publish or Perish Inc., Houston, TX, 1979.
|-
|-
| valign=top | {{anchor|Sty}}[Sty]
| valign=top | [Sty]
| Styazhkin, N.I., ''History of Mathematical Logic from Leibniz to Peano'', 1st published in Russian, Nauka, Moscow, 1964. MIT Press, Cambridge, MA, 1969.
| Styazhkin, N.I., ''History of Mathematical Logic from Leibniz to Peano'', 1st published in Russian, Nauka, Moscow, 1964. MIT Press, Cambridge, MA, 1969.
|-
|-
| valign=top | {{anchor|Wie}}[Wie]
| valign=top | [Wie]
| Wiener, N., ''Cybernetics : or Control and Communication in the Animal and the Machine'', 1st edition 1948. 2nd edition, MIT Press, Cambridge, MA, 1961.
| Wiener, N., ''Cybernetics : or Control and Communication in the Animal and the Machine'', 1st edition 1948. 2nd edition, MIT Press, Cambridge, MA, 1961.
|}
|}
