Notes on the

[1]  Haskell B. Curry,et al.  Foundations of Mathematical Logic , 1964 .

[2]  Pier Paolo Valentini,et al.  A Review of Formulas for the Mechanical Efficiency Analysis of Two Degrees-of-Freedom Epicyclic Gear Trains , 2003 .

[3]  Haskell B. Curry,et al.  Combinatory Logic, Volume I , 1959 .

[4]  Ettore Pennestrì,et al.  A Systematic Approach to Power-Flow and Static-Force Analysis in Epicyclic Spur-Gear Trains , 1993 .

[5]  Ferdinand Freudenstein,et al.  The Mechanical Efficiency of Epicyclic Gear Trains , 1993 .

[6]  Jose M. del Castillo.  The analytical expression of the efficiency of planetary gear trains , 2002 .

[7]  Lung-Wen Tsai,et al.  Mechanism Design: Enumeration of Kinematic Structures According to Function , 2001 .

[8]  K. Gödel.  Die Vollständigkeit der Axiome des logischen Funktionenkalküls , 1930 .

[9]  Nuel D. Belnap,et al.  The logic of questions and answers , 1976 .

[10]  N. Belnap,et al.  The Revision Theory of Truth , 1993 .

[11]  R. Tibshirani,et al.  Complications of use of the Ilizarov technique in the correction of limb deformities in children. , 1993, The Journal of bone and joint surgery. American volume.

[12]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[13]  Lung-Wen Tsai,et al.  The Selection of a Most Efficient Clutching Sequence Associated With Automatic Transmission Mechanisms , 1998 .

[14]  Ferdinand Freudenstein,et al.  Synthesis of kinematic structure of geared kinematic chains and other mechanisms , 1970 .

[15]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[16]  Gottlob Frege,et al.  The basic laws of arithmetic : exposition of the system , 1966 .

[17]  Alonzo Church,et al.  A note on the Entscheidungsproblem , 1936, Journal of Symbolic Logic.

[18]  J. Santy,et al.  Pin site management. Towards a consensus: part 1 , 2001 .

[19]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[20]  G. Gentzen.  Die Widerspruchsfreiheit der reinen Zahlentheorie , 1936 .

[21]  D. Paley,et al.  Problems, obstacles, and complications of limb lengthening by the Ilizarov technique. , 1990, Clinical orthopaedics and related research.

[22]  F. B. Fitch.  Symbolic Logic, An Introduction , 1953 .

[23]  Lung-Wen Tsai,et al.  Kinematic Analysis of Epicyclic-Type Transmission Mechanisms Using the Concept of Fundamental Geared Entities , 1996 .

[24]  Emil L. Post.  Introduction to a General Theory of Elementary Propositions , 1921 .