Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Quizás quisiste decir: numero symbol
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- 1969, p.p. 110-114. Kleene, S.C. (1938) "On notation for ordinal numbers"; Journal Symbolic Logic 3: 150-155. Kripke, S.A. (1975) "Outline of a theory of…5 kB (703 palabras) - 00:05 2 dic 2023
Ergodic Theory, Symbolic Dynamics and Hyperbolic Spaces, Oxford University Press 1991 (incluyendo el capítulo Geometric Methods of Symbolic Coding escrito…7 kB (654 palabras) - 12:29 21 oct 2023- consistency," Journal of Symbolic Logic 41: 779-781. 1977, "On deciding the provability of certain fixed point statements," Journal of Symbolic Logic 42: 191-193…14 kB (1947 palabras) - 19:11 26 dic 2023
- Journal of Symbolic Logic, 1, 40-41. 1937a. Review of Turing 1936. Journal of Symbolic Logic, 2, 42-43. 1937b. Review of Post 1936. Journal of Symbolic Logic…9 kB (1270 palabras) - 20:08 30 ene 2024
- Symmetry: Throwing darts at the real number line». Journal of Symbolic Logic (Association for Symbolic Logic) 51 (1): 190-200. JSTOR 2273955. doi:10.2307/2273955…18 kB (2046 palabras) - 06:39 29 abr 2024
0-349-12320-9). John Michell: The Dimensions of Paradise: The Proportions and Symbolic Numbers of Ancient Cosmology. Adventures Unlimited Press, Kempton, Illinois…4 kB (474 palabras) - 19:39 28 ene 2024- the Entscheidungsproblem", Journal of Symbolic Logic, 1 (1936), pp 40 - 41. Alan Turing, "On computable numbers, with an application to the Entscheidungsproblem"…5 kB (634 palabras) - 20:11 30 ene 2024
- Marco Ruffino. Predicative Fragments of Frege Arithmetic, Bulletin of Symbolic Logic 10:2 (2004), 153-174. Frege's Proof of Referentiality, Notre Dame…4 kB (424 palabras) - 19:26 7 dic 2022
- inglés) El Legado perdido de María Magdalena. "Madgalene´s Lost Legacy: Symbolic Numbers and the Sacred Union in Christianity". Editorial Bear & Company, Rochester…4 kB (510 palabras) - 11:24 5 feb 2024
axiomatization of computability and proof of Church's Thesis». Bulletin of Symbolic Logic 14 (3): 299-350. ISSN 1079-8986. Kelley, Dean (1995). Teoría de…41 kB (4663 palabras) - 16:55 17 abr 2024- necessity, truth. Clarendon Press, Oxford 2000, vi + 114 pp.». Bulletin of Symbolic Logic (en inglés) 9 (1): 39-42. ISSN 1079-8986. doi:10.1017/S107989860000473X…2 kB (1690 palabras) - 18:39 12 mar 2024
The Journal of Symbolic Logic 29 (3): 162. 1964. «Transfinite Recursions on Admissible Ordinals, II (abstract)». The Journal of Symbolic Logic 29 (3):…27 kB (3258 palabras) - 12:42 1 may 2024- 42 Issue 2, 685–699, 2013. arΧiv:0801.1416 . International Symposium on Symbolic and Algebraic Computation (pdf|formato= requiere |url= (ayuda)). 2015.…7 kB (906 palabras) - 23:38 9 oct 2023
Elsevier (1998). R. I. Soare, 1996. Computability and recursion, Bulletin of Symbolic Logic v. 2 pp. 284–321. Burgin, M. and Klinger, A. "Experience, Generations…30 kB (4148 palabras) - 00:23 28 ene 2024- M of real numbers having an upper bound has a least upper bound (CF. also Weyl 1919)" (p. 43). Hans Reichenbach 1947, Elements of Symbolic Logic, Dover…8 kB (1086 palabras) - 09:23 20 mar 2024
- Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic Logic en donde propone un nuevo condicional más adecuado para recoger el…32 kB (5266 palabras) - 02:51 12 may 2024
- reseña de 1991 de The Dimensions of Paradise: The Proportions and Symbolic Numbers in Ancient Cosmology, expresó la opinión de que, "Después de algunas…51 kB (6890 palabras) - 22:44 5 oct 2023
Post (1936), "Finite Combinatory Processes—Formulation 1", Journal of Symbolic Logic, 1, 103–105, 1936. Reimpreso en The Undecidable, p. 289ff. Hodges…37 kB (5033 palabras) - 19:17 27 ene 2024- Marker, D. (2006). «A remark on Zilber's pseudoexponentiation». Journal of Symbolic Logic 71 (3): 791-798. JSTOR 27588482. MR 2250821. S2CID 1477361. doi:10…30 kB (4098 palabras) - 02:55 14 mar 2024
- (Dec 1947). «Transfinite Ordinals in Recursive Number Theory». Journal of Symbolic Logic 12 (4): 123-129. JSTOR 2266486. doi:10.2307/2266486. Albert A. Bennett…26 kB (2845 palabras) - 04:52 8 abr 2024
- Returns if a path points at a directory. KILL Removes a file. LINK Creates a symbolic link. MKDIR Creates a directory. MOVE Renames or moves a file or a directory