Results for 'Andrés Molina Ochoa'

1000+ found
Order:
  1.  12
    Presentación.Jorge Luis Fabra Zamora & Andrés Molina Ochoa - 2017 - Problema. Anuario de Filosofía y Teoria Del Derecho 1 (11).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  34
    Algoritmo multiobjetivo NSGA-II aplicado al problema de la mochila.Carlos Adrián Correa Flórez, Ricardo Andrés Bolaños Ocampo & Alexander Molina Cabrera - forthcoming - Scientia.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Alteridades internas : ética pública e imágenes de no ficción en Colombia.Germán Andrés Molina Garrido - 2017 - In Porfirio Cardona Restrepo, Freddy Santamaría Velasco, Juan Osorio-Villegas & Alejandro Tomasini Bassols (eds.), Cine y pensamiento. Medellín, Colombia: Editorial Universidad Pontificia Bolivariana.
     
    Export citation  
     
    Bookmark  
  4.  4
    El pensamiento clásico: Platón y Aristóteles.Andrés Molina Mejía - 1992 - Málaga: Editorial Agora.
  5.  4
    El pensamiento moderno: Descartes.Andrés Molina Mejía - 1993 - Málaga: Editorial Agora.
  6.  20
    On the Relationship Between White Matter Structure and Subjective Pain. Lessons From an Acute Surgical Pain Model.Laura Torrecillas-Martínez, Andrés Catena, Francisco O'Valle, César Solano-Galvis, Miguel Padial-Molina & Pablo Galindo-Moreno - 2020 - Frontiers in Human Neuroscience 14.
    Background: Pain has been associated with structural changes of the brain. However, evidence regarding white matter changes in response to acute pain protocols is still scarce. In the present study, we assess the existence of differences in brain white matter related to pain intensity reported by patients undergoing surgical removal of a mandibular impacted third molar using diffusion tensor imaging analysis.Methods: 30 participants reported their subjective pain using a visual analog scale at three postsurgical stages: under anesthesia, in pain, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Obispado Castrense de Colombia, Colombia. Una ética para la paz desde la perspectiva cristiana.Área Jovenes Educación Y. Cultura, Obispado Castrense de Colombia, Juan Andrés Vargas Molina & Presbítero Obispado Castrense de Colombia - 2014 - In Javier Fernández Leal, S. Contreras & Jorge Orlando (eds.), Los retos éticos de las fuerzas militares. Medellín, Colombia: Biblioteca Jurídica Diké.
     
    Export citation  
     
    Bookmark  
  8.  14
    The therapeutic subject in La Arcadia by Lope de Vega.Cristina Andrade-Rosa, Francisco López-Muñoz & Juan D. Molina - 2017 - Humanidades Médicas 17 (1):201-236.
    En la actualidad, aún se desconoce el verdadero alcance de la vasta cultura de Lope de Vega, pues, aunque se sabe que fue un gran lector, que legó más de 1500 libros, sus títulos se han perdido a lo largo de la historia. No obstante, en sus obras trasciende una serie de textos que contribuyeron a su formación. En el presente trabajo se analiza La Arcadia, considerada la novela pastoril más erudita del Siglo de Oro, desde la perspectiva de los (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Temas de derecho ambiental: una mirada desde lo público.Gloria Amparo Rodriguez & Ivan Andres Paez - 2012 - Universidad del Rosario.
    En los últimos tiempos el derecho ambiental ha ganado un puesto importante en el ámbito jurídico, hecho que refleja la preocupación que hoy se tiene por la relación del hombre con su entorno. Desde hace quince años, la Universidad Colegio Mayor de Nuestra señora del Rosario, por intermedio de su Facultad de Jurisprudencia y concretamente de la Especialización y la línea de investigación en Derecho Ambiental, ha propuesto a través de diversos proyectos avanzar en el conocimiento y análisis del ordenamiento (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  19
    Chains of end elementary extensions of models of set theory.Andrés Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.
    Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained in this fashion (`unfoldable cardinals') lie in the boundary of the propositions consistent with `V = L' and the existence of 0 ♯ . We also provide an `embedding characterisation' of the unfoldable cardinals and study their preservation and destruction by various forcing constructions.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  11. The Pragmatic Turn in Explainable Artificial Intelligence (XAI).Andrés Páez - 2019 - Minds and Machines 29 (3):441-459.
    In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  12.  8
    Propositional sequence-calculi for inconsistent systems.Andrés R. Raggio - 1968 - Notre Dame Journal of Formal Logic 9 (4):359-366.
  13.  12
    Artifact Dualism, Materiality, and the Hard Problem of Ontology: Some Critical Remarks on the Dual Nature of Technical Artifacts Program.Andrés Vaccari - 2013 - Philosophy and Technology 26 (1):7-29.
    This paper critically examines the forays into metaphysics of The Dual Nature of Technical Artifacts Program (henceforth, DNP). I argue that the work of DNP is a valuable contribution to the epistemology of certain aspects of artifact design and use, but that it fails to advance a persuasive metaphysic. A central problem is that DNP approaches ontology from within a functionalist framework that is mainly concerned with ascriptions and justified beliefs. Thus, the materiality of artifacts emerges only as the external (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  8
    Kritischer realismus und induktionsproblem.Andrés Rivadulla - 1987 - Erkenntnis 26 (2):181 - 193.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  14
    Mathematical statistics and metastatistical analysis.Andrés Rivadulla - 1991 - Erkenntnis 34 (2):211 - 236.
    This paper deals with meta-statistical questions concerning frequentist statistics. In Sections 2 to 4 I analyse the dispute between Fisher and Neyman on the so called logic of statistical inference, a polemic that has been concomitant of the development of mathematical statistics. My conclusion is that, whenever mathematical statistics makes it possible to draw inferences, it only uses deductive reasoning. Therefore I reject Fisher's inductive approach to the statistical estimation theory and adhere to Neyman's deductive one. On the other hand, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  79
    The Pragmatic Turn in Explainable Artificial Intelligence.Andrés Páez - 2019 - Minds and Machines 29 (3):441-459.
    In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  17.  61
    Plagiarism, Cheating and Research Integrity: Case Studies from a Masters Program in Peru.Andres M. Carnero, Percy Mayta-Tristan, Kelika A. Konda, Edward Mezones-Holguin, Antonio Bernabe-Ortiz, German F. Alvarado, Carlos Canelo-Aybar, Jorge L. Maguiña, Eddy R. Segura, Antonio M. Quispe, Edward S. Smith, Angela M. Bayer & Andres G. Lescano - 2017 - Science and Engineering Ethics 23 (4):1183-1197.
    Plagiarism is a serious, yet widespread type of research misconduct, and is often neglected in developing countries. Despite its far-reaching implications, plagiarism is poorly acknowledged and discussed in the academic setting, and insufficient evidence exists in Latin America and developing countries to inform the development of preventive strategies. In this context, we present a longitudinal case study of seven instances of plagiarism and cheating arising in four consecutive classes of an Epidemiology Masters program in Lima, Peru, and describes the implementation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  56
    Against cognitive artifacts: extended cognition and the problem of defining ‘artifact’.Andres Pablo Vaccari - 2017 - Phenomenology and the Cognitive Sciences 16 (5):879-892.
    In this paper I examine the notion of ‘artifact’ and related notions in the dominant version of extended cognition theory grounded on extended functionalism. Although the term is ubiquitous in the literature, it is far from clear what ECT means by it. How are artifacts conceptualized in ECT? Is ‘artifact’ a meaningful and useful category for ECT? If the answer to the previous question is negative, should we worry? Is it important for ECT to have a coherent theory of artifacts? (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  21
    Cosmotechnical Thought Between Substantivism and the Empirical Turn.Andrés Vaccari - 2022 - Foundations of Science 27 (4):1279-1284.
    In this article I respond to Yuk Hui by revisiting the crossroads in the philosophy of technology as represented by the philosophies of Stiegler and Ihde. Whereas Hui proposes the concept of cosmotechnics as an integrating perspective, I conceive of the crossroads in other terms, namely from the perspective of substantivism. I characterize our present situation, what a philosophy of technology should address and then examine Hui’s notion of cosmotechnics from this alternative perspective. My main concern is to show future (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  14
    Autonomy, free speech and automatic behaviour.Andrés Moles - 2006 - Res Publica 13 (1):53-75.
    One of the strongest defences of free speech holds that autonomy requires the protection of speech. In this paper I examine five conditions that autonomy must satisfy. I survey recent research in social psychology regarding automatic behaviour, and a challenge to autonomy is articulated. I argue that a plausible strategy for neutralising some of the autonomy-threatening automatic responses consists in avoiding the exposure to the environmental features that trigger them. If this is so, we can good autonomy-based pro tanto reasons (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  21.  24
    Fighting Software Piracy: Which Governance Tools Matter in Africa?Antonio R. Andrés & Simplice A. Asongu - 2013 - Journal of Business Ethics 118 (3):667-682.
    This article integrates previously missing components of government quality into the governance-piracy nexus in exploring governance mechanisms by which global obligations for the treatment of IPRs are effectively transmitted from international to the national level in the battle against piracy. It assesses the best governance tools in the fight against piracy and upholding of intellectual property rights (IPRs). The instrumentality of IPR laws (treaties) in tackling piracy through good governance mechanisms is also examined. Findings demonstrate that: (1) while all governance (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  5
    De los argumentos trascendentales a la hermenéutica trascendental.Andrés Crelier - 2010 - La Plata, Buenos Aires, Argentina: Edulp, Editorial de la Universidad de La Plata.
  23. Experiencia de Dios.Andrés Tornos Cubillo - 1994 - Diálogo Filosófico 28:27-42.
    Dios no es una realidad sólo y sobre todo objeto de especulación intelectual, sino de experiencia viva ; no cuestión de "tratados", sino de "actos religiosos". Aunque la cuestión teórica de Dios sea de extraordinario interés, resulta, frente a aquella experiencia y su posibilidad, un problema derivado. ¿Qué características son propias de la experiencia de Dios? ¿Es esa experiencia accesible al hombre de hoy? Andrés Tornos nos introduce con agilidad en esta apasionante temática.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  4
    BPFA and projective well-orderings of the reals.Andrés Eduardo Caicedo & Sy-David Friedman - 2011 - Journal of Symbolic Logic 76 (4):1126-1136.
    If the bounded proper forcing axiom BPFA holds and ω 1 = ${\mathrm{\omega }}_{1}^{\mathrm{L}}$ , then there is a lightface ${\mathrm{\Sigma }}_{3}^{1}$ well-ordering of the reals. The argument combines a well-ordering due to Caicedo-Veličković with an absoluteness result for models of MA in the spirit of "David's trick." We also present a general coding scheme that allows us to show that BPFA is equiconsistent with R being lightface ${\mathrm{\Sigma }}_{4}^{1}$ , for many "consistently locally certified" relations R on $\mathrm{\mathbb{R}}$ . (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  4
    El Habla de Los Historiadores, y Otros Ensayos.Andrés L. Mateo - 2010 - Universidad Apec.
    Presentación del rector -- El habla de los historiadores -- Discurso de recepción de Andrés L. Mateo en la Academia Dominicana de la Lengua, por Diógenes Céspedes -- La dominicanidad en los Apuntes de un viaje, de José Martí -- Una lectura diferente de la quintilla del Padre Vásquez -- ¿Por qué vino Pedro Henríquez Ureña en 1931? -- Anexos al ensayo : ¿Por qué vino Pedro Henríquez Ureña en 1931?
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  34
    Attributing Psychological Predicates to Non-human Animals: Literalism and its Limits.Andrés Crelier - 2023 - Review of Philosophy and Psychology 14 (4):1309-1328.
    In this essay, I deal with the problem of the attribution of psychological predicates to non-human animals. The first section illustrates three research topics where it has become scientifically legitimate to explain the conduct of non-human animals by means of the attribution of psychological predicates. The second section discusses several philosophical objections to the legitimacy of such attributions provided by central thinkers from the last decades. I try to show that these objections —which are related among other questions to the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  3
    Synthetic Biology, Gödel, and the Blind Watchmaker.Andrés Moya - 2009 - Biological Theory 4 (4):319-322.
  28.  49
    Probabilistic support, probabilistic induction and bayesian confirmation theory.Andres Rivadulla - 1994 - British Journal for the Philosophy of Science 45 (2):477-483.
  29. Adaptabilidad y funcionalidad: una teoría acerca de las funciones biológicas.Andrés Jaume - 2011 - Ludus Vitalis 19 (35):97-112.
     
    Export citation  
     
    Bookmark   1 citation  
  30.  7
    Indeterminación, inutilidad y abstracción. Problemas de las teorías teleológicas del contenido mental.Andrés L. Jaume - 2013 - Ideas Y Valores 62 (152):35-52.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  45
    Teleosemantics and Useless Content.Andrés L. Jaume - 2008 - Proceedings of the Xxii World Congress of Philosophy 42:85-90.
    Teleosemantic theories of content constitute a mixed family of different proposals and accounts about what consists mental content. In the present paper, I would like examine the scope and limits of a particular and well defined teleosemantic theory such as Millikan’s account. My aim entails presenting arguments in order to show how her theory of mental content is unnable of giving a complete account of the whole mental life almost for adult human agents without commiting certain adaptationist assumptions. I am (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  15
    The negentropic theory of ontogeny: A new model of eutherian life history transitions?Andres Kurismaa - forthcoming - Biosemiotics:1-27.
    Variations in life history define key comparative and evolutionary biological questions, important for understanding the mechanisms of mammalian evolutionary divergence, developmental adaptability and plasticity. In this regard, the differences among predominantly altricial and precocial species represent a particularly significant, if still poorly understood and contested case. Here, it will be shown how the classical analysis of such ontogenetic variations, going back to the semantic biology of A. Portmann, can be expanded and synthesized with comparative physiological approaches, based on the negentropic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Arte y vida de Ortega y Gasset / The Art and Life of Ortega y Gasset.Andrés Larrambebere - 1987 - Anuario Filosófico 20 (2):173-180.
    No categories
     
    Export citation  
     
    Bookmark  
  34. El Raggionamento della possanza d'Amore de Giulio Claro.Andres Navarro Lazaro - 2006 - Rinascimento 46:215-280.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Fabola de psiche, italian renaissance translation, edition.Andres Navarro Lazaro - 2009 - Rinascimento 49:101-207.
  36.  15
    Capsaicin and cybernetics: Mexican intellectual networks in the foundation of cybernetics.Andrés Burbano & Everardo Reyes - 2022 - AI and Society 37 (3):1013-1025.
    This paper offers some insights and clarifications of the paramount role that Mexico has had in the forging of first-order cybernetics. Our account starts with Arturo Rosenblueth as a key intellectual figure in the foundation and formation of the field. After revisiting a historical context of people and places, we proceed to a cultural and media archeological investigation that helps us obtain new insights into the ongoing effort to intertwine the complex intellectual networks across different countries in Latin America, North (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  24
    Limit models in metric abstract elementary classes: the categorical case.Andrés Villaveces & Pedro Zambrano - 2016 - Mathematical Logic Quarterly 62 (4-5):319-334.
    We study versions of limit models adapted to the context of metric abstract elementary classes. Under categoricity and superstability-like assumptions, we generalize some theorems from 7, 15-17. We prove criteria for existence and uniqueness of limit models in the metric context.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  8
    Dissolving Nature.Andrés Vaccari - 2012 - Techné: Research in Philosophy and Technology 16 (2):138-186.
    This paper is an enquiry into the philosophical fault-line that leads from mechanicism to posthumanism. I focus on a central aspect of posthumanism: the erosion of the distinction between organism and machine, nature and art, and the biological and engineering sciences. I claim that this shift can be placed in the seventeenth century, in Descartes’s biology. The Cartesian fusion of the natural and technological opened the door to distinctly posthuman understandings of the living body, its relation to technological extensions, and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  3
    A one-person doxastic characterization of Nash strategies.Andrés Perea - 2007 - Synthese 158 (2):251-271.
    Within a formal epistemic model for simultaneous-move games, we present the following conditions: belief in the opponents’ rationality, stating that a player believes that every opponent chooses an optimal strategy, self-referential beliefs, stating that a player believes that his opponents hold correct beliefs about his own beliefs, projective beliefs, stating that i believes that j’s belief about k’s choice is the same as i’s belief about k’s choice, and conditionally independent beliefs, stating that a player believes that opponents’ types choose (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. How Moral Facts Cause Moral Progress.Andrés Luco - 2019 - Journal of the American Philosophical Association 5 (4):429-448.
    Morally progressive social changes seem to have taken place with the onset of democratic governance, the abolition of slavery, the rise of gender equality, and other developments. This essay attempts to demonstrate that natural and objective moral facts are a plausible cause of some morally progressive social changes. Since this hypothesis is a version of naturalistic moral realism, I call it the Naturalist-Realist Hypothesis. To support the NRH, I argue that objective moral facts are natural facts pertaining to the impartial (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41.  6
    Filosofía del entendimiento.Andrés Bello & José Gaos - 1948 - México,: Fondo de Cultura Económica. Edited by José Gaos.
  42.  11
    Hilbert, Trivialization and Paraconsistent Logic.Andrés Bobenrieth - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 5:37-43.
    The origin of Paraconsistent Logic is closely related with the argument that from the assertion of two mutually contradictory statements any other statement can be deduced, which can be referred to as ex contradict!one sequitur quodlibet (ECSQ). Despite its medieval origin, only in the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this paper is to study what happened before: from Principia Mathematica to that time, when it became (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. La poesía de Carlos Fajardo Fajardo. Secuelas del mito.Andrés Burgos Bohórquez - 2008 - Logos (La Salle) 13:129-135.
    El siguiente texto aborda la poesía de Carlos Fajardo Fajardo, cuya obra sólida, rigurosa y de estupenda factura, lo sitúa entre uno de los poetas más representativos de la actual poesía colombiana. El texto muestra las constantes poéticas de Fajardo, sus propuestas estéticas e influencias, rastreando la sugerente lucidez y la exquisita sensibilidad que habitan en sus poemas.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  35
    The Finality and Instrumentality of Value in a Way.Andrés G. Garcia - 2019 - Philosophia 47 (3):681-692.
    Final value accrues to objects that are good for their own sakes, while instrumental value accrues to objects that are good for the sake of their effects. The following paper aims to show that this distinction cuts across some surprising areas of the evaluative domain. This means that there may be some unexpected types of value that can come in a final or instrumental form. The argument proceeds by looking at two prominent types of value, namely kind-value and personal value. (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  28
    Existentially Closed Models in the Framework of Arithmetic.Zofia Adamowicz, Andrés Cordón-Franco & F. Félix Lara-martín - 2016 - Journal of Symbolic Logic 81 (2):774-788.
    We prove that the standard cut is definable in each existentially closed model ofIΔ0+ exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  13
    The Problem of Inclusion in Deliberative Environmental Valuation.Andrés Vargas, Alex Lo, Michael Howes & Nicholas Rohde - 2017 - Environmental Values 26 (2):157-176.
    The idea of inclusive collective decision-making is important in establishing democratic legitimacy, but it fails when citizens are excluded. Stated-preference methods of valuation, which are commonly used in economics, have been criticised because the principle of willingness to pay may exclude low-income earners who do not have the capacity to pay. Deliberative valuation has been advocated as a way to overcome this problem, but deliberation may also be exclusive. In this review, two deliberative valuation frameworks are compared. The first is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  14
    Odi et Amo? Hobbes on the State of Nature.Andrés Rosler - 2011 - Hobbes Studies 24 (1):91-111.
    Very few—if any—will doubt Hobbes's aversion to the state of nature and sympathy for civil society. On the other hand, it is not quite news that it would be inaccurate to claim that Hobbes rejected the state of nature entirely. Indeed, he embraced or at the very least tolerated the state of nature at the international level in order to escape from the individual state of nature. Hobbes's recommended exchange of an individual state of nature for an international one does (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  48.  61
    Nudging for Liberals.Andrés Moles - 2015 - Social Theory and Practice 41 (4):644-667.
    In this article I argue that anti-perfectionist liberals can accept nudging in certain areas: in particular, they can accept nudges aimed at helping people to discharge their nonenforceable duties, and to secure personal autonomy. I claim that nudging is not disrespectful since it does not involve a comparative negative judgment on people’s ability to pursue their plans, and that the judgments that motivate nudging are compatible with treating citizens as free and equal. I also claim that despite being sometimes manipulative, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  49.  10
    A simple proof of Herbrand's theorem.Andrés R. Raggio - 1974 - Notre Dame Journal of Formal Logic 15 (3):487-488.
  50.  10
    Direct consistency proof of Gentzen's system of natural deduction.Andrés R. Raggio - 1964 - Notre Dame Journal of Formal Logic 5 (1):27-30.
1 — 50 / 1000