Translation of "symbolic logic" to Spanish language:
Examples (External sources, not reviewed)
| 1680s Gottfried Leibniz works on symbolic logic. | 1680s Gottfried Leibniz trabaja sobre lógica simbólica. |
| 1986, Review of Yuri Manin, A Course in Mathematical Logic , Journal of Symbolic Logic 51 829 830. | 1986, Review of Yuri Manin, A Course in Mathematical Logic , Journal of Symbolic Logic 51 829 830. |
| 1988a, Review of Craig Smorynski, Self Reference and Modal Logic , Journal of Symbolic Logic 53 306 309. | 1988a, Review of Craig Smorynski, Self Reference and Modal Logic , Journal of Symbolic Logic 53 306 309. |
| 1982, Extremely undecidable sentences, Journal of Symbolic Logic 47 191 196. | 1982, Extremely undecidable sentences, Journal of Symbolic Logic 47 191 196. |
| 1981a, Review of Robert M. Solovay, Provability Interpretations of Modal Logic , Journal of Symbolic Logic 46 661 662. | 1981a, Review of Robert M. Solovay, Provability Interpretations of Modal Logic , Journal of Symbolic Logic 46 661 662. |
| 1982a, On the nonexistence of certain normal forms in the logic of provability, Journal of Symbolic Logic 47 638 640. | 1982a, On the nonexistence of certain normal forms in the logic of provability, Journal of Symbolic Logic 47 638 640. |
| 1979, Reflection principles and iterated consistency assertions, Journal of Symbolic Logic 44 33 35. | 1979, Reflection principles and iterated consistency assertions, Journal of Symbolic Logic 44 33 35. |
| 1995, Frege's theorem and the Peano postulates, Bulletin of Symbolic Logic 1 317 326. | 1995, Frege's theorem and the Peano postulates, Bulletin of Symbolic Logic 1 317 326. |
| 1990b, Review of V. A. Uspensky, Gödel's Incompleteness Theorem , Journal of Symbolic Logic 55 889 891. | 1990b, Review of V. A. Uspensky, Gödel's Incompleteness Theorem , Journal of Symbolic Logic 55 889 891. |
| 1977, On deciding the provability of certain fixed point statements, Journal of Symbolic Logic 42 191 193. | 1977, On deciding the provability of certain fixed point statements, Journal of Symbolic Logic 42 191 193. |
| 1987c (with Vann McGee), The degree of the set of sentences of predicate provability logic that are true under every interpretation, Journal of Symbolic Logic 52 165 171. | 1987c (with Vann McGee), The degree of the set of sentences of predicate provability logic that are true under every interpretation, Journal of Symbolic Logic 52 165 171. |
| 1968 (with Hilary Putnam), Degrees of unsolvability of constructible sets of integers, Journal of Symbolic Logic 33 497 513. | 1968 (with Hilary Putnam), Degrees of unsolvability of constructible sets of integers, Journal of Symbolic Logic 33 497 513. |
| 1976, On deciding the truth of certain statements involving the notion of consistency, Journal of Symbolic Logic 41 779 781. | 1976, On deciding the truth of certain statements involving the notion of consistency, Journal of Symbolic Logic 41 779 781. |
| 1990a, Review of Jon Barwise and John Etchemendy, Turing's World and Tarski's World , Journal of Symbolic Logic 55 370 371. | 1990a, Review of Jon Barwise and John Etchemendy, Turing's World and Tarski's World , Journal of Symbolic Logic 55 370 371. |
| Symbolic | Simbólico |
| Symbolic link | Enlace simbólico |
| Symbolic Links | Enlaces simbólicos |
| Symbolic Link | Enlace simbólico |
| Symbolic resistance | Resistencia simbólica |
| Symbolic link foreground | Enlace simbólico en primer plano |
| Follow symbolic links | Seguir enlaces simbólicos |
| A symbolic victory | Una victoria simbólica |
| logic | lógica |
| Logic | Lógica |
| The logic of belief is called doxastic logic. | La lógica de las creencias se llama lógica doxástica. |
| Logic, Arcade | Lógica, Arcade |
| Logic, Arcade | Lógico, Arcade |
| Logic, Board | Lógica, Tablero |
| logic game | juego de lógica |
| Logic Game | Juego de lógicaName |
| Logic Games | Juegos de lógicaName |
| Logic Buttons | Botones lógicos |
| Logic Functions | Funciones lógicasComment |
| Logic Shapes | Formas lógicasStencils |
| Logic Functions | Funciones lógicas |
| Discard symbolic links to folders | Descartar enlaces simbólicos a carpetas |
| Could Not Create Symbolic Link | No se pudo crear el enlace simbólico |
| Allow following of symbolic links | Permitir el seguimiento de enlaces simbólicos |
| Settings Logic Buttons | Preferencias Botones lógicos |
| Display logic buttons. | Muestra los botones lógicos. |
| logic operator and | operador lógico yName |
| logic operator or | operador lógico oName |
| logic operator not | operador lógico noName |
| Blackbox Logic Game | Juego de lógica BlackboxName |
| A logic game | Un juego de lógica |
Related searches : Symbolic Meaning - Symbolic Value - Symbolic Representation - Symbolic Space - Symbolic Means - Symbolic Effect - Symbolic Function - Symbolic Goods - Symbolic Illustration - Symbolic Nature - Symbolic Action - Symbolic Figure
