Ajustar la búsqueda

Su búsqueda obtuvo 22 resultados.

Ordenar
Resultados
From axiom to dialogue : a philosophical study of logics and argumentation / E.M. Barth, E.C.W. Krabbe

por Barth, Else Margarete | Krabbe, E.C.W.

Series Foundations of communicationTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin ; New York : W. de Gruyter, 1982Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/1-229.

Relevant logic : a philosophical examination of inference / Stephen Read

por Read, Stephen, 1947-.

Tipo de material: Texto Texto Detalles de publicación: Oxford : Basil Blackwell, 1988Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/1-221.

Counterfactuals / David Lewis

por Lewis, David, 1941-.

Tipo de material: Texto Texto Detalles de publicación: Oxford : Basil Blackwell, 1973 (1986 [printing])Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/1-253.

Modality and tense : philosophical papers / Kit Fine.

por Fine, Kit.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Oxford : Clarendon Press, 2005Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-51/5-145.

Algebraic logic

por Halmos, Paul R, (Paul Richard,), 1916-.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Chelsea Pub. Co, [1962]Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 512.563.6/HAL/alg.

Introduction to logic and to the methodology of deductive sciences / Alfred Tarski

por Tarski, Alfred.

Series Galaxy booksEdición: 3rd ed., revisedTipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Oxford University Press, 1965 (1970 printing)Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/1-258.

Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner

por Gabbay, Dov M, 1945- | Guenthner, F.

Series Synthese library ; 164 ;Tipo de material: Texto Texto Detalles de publicación: Dordrecht ; London : Kluwer Academic ; c1994Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (4)Ubicación, signatura topográfica: Matemáticas - 510.21/HAN, ...

Modern logic in the service of law / Ilmar Tammelo

por Tammelo, Ilmar, b.1917.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Wien ; New York : Springer-Verlag, 1978Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-1349.

Reasoning with rules : an essay on legal reasoning and its underlying logic / Jaap C. Hage

por Hage, J. C, (Jaap C).

Series Law and philosophy library ; v. 27Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht ; Boston : Kluwer Academic Publishers, c1997Disponibilidad: Ítems disponibles para préstamo: 01. BIBLIOTECA CAMPUS JEREZ (1)Ubicación, signatura topográfica: F-3977.

Argumentation

Tipo de material: Recurso continuo Recurso continuo; Formato: electrónico disponible en línea remoto; Tipo de descriptor de recurso continuo: periódico Detalles de publicación: Dordrecht : Ed. Kluwer Academic Publishers Disponibilidad: Ítems disponibles para referencia: 13. HEMEROTECA UCA: Not for loan (12)Ubicación, signatura topográfica: JER, ...

Mathematical logic : an introduction to model theory / A.H. Lightstone, edited by H.B. Enderton

por Lightstone, Albert Harold | Enderton, Herbert Bruce.

Series Mathematical concepts and methods in science and engineering ; vol.9Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York ; London : Plenum Press, 1978Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/326.

E.W. Beth Memorial Colloquium : logic and foundations of science : Paris, Institut Henri Poincaré, 19-21 May 1964 / ed. by Jean-Louis Destouches.

por Beth, Evert Willem, 1908-1964 [] | Destouches, Jean-Louis | E.W. Beth Memorial Colloquium (19-05-1964 - 21-05-1964 : Paris).

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : Reidel, 1967Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 9.085/D";"1102/08/EWB.

Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee

por Chang, Chin-Liang | Lee, Richard Char-Tung.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: San Diego [etc.] : Academic Press, 1973Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: 510.6/CHA/sym. 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-510.6/CHA/sym.

Meaning and negation / by Steven Bradley Smith

por Smith, Steven Bradley.

Series Janua linguarum. studia memoriae Nicolai van Wijk dedicata. Series minor ; ; 206Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: The Hague : Mouton, 1978Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-08/1-165.

The Oxford handbook of philosophy of mathematics and logic / edited by Stewart Shapiro.

Series Oxford handbooks in philosophyTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Oxford ; New York : Oxford University Press, 2005Otro título: Philosophy of mathematics and logic.Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: 510.21/OXF.

Studies in logic / by members of the Johns Hopkins University (1883), with an introduction by Max H. Fisch and a preface by Achim Eschbach

por Peirce, Charles S | Fisch, Max H | Eschbach, Achim.

Series Foundations of semiotics ; v.1Tipo de material: Texto Texto Detalles de publicación: Amsterdam : Benjamins, 1983Disponibilidad: Ítems disponibles para préstamo: 02. BIBLIOTECA CAMPUS PUERTO REAL (1)Ubicación, signatura topográfica: Depósito - 8/ 21.353. 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: Sótano-46/1-210.

Logic, proof, and set theory / by Marvin L. Bittinger

por Bittinger, Marvin L., (Marvin Lowell,), 1941-.

Edición: 2nd edTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Reading, MA ; London : Addison-Wesley, 1982Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: AIZ/658.

Ontology and the logistic analysis of language : an enquiry into the contemporary views on universals / Guido Kung ; [translated by E.C.M. Mays, and revised by the author].

por Küng, Guido.

Series Synthese libraryEdición: Rev. ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Dordrecht : D. Reidel, 1967Disponibilidad: Ítems disponibles para préstamo: 04. BIBLIOTECA CIENCIAS DE LA SALUD (1)Ubicación, signatura topográfica: 10.655/D";"7202/07/KUN.

Propositional attitudes : the role of content in logic, language, and mind / edited by C. Anthony Anderson and Joseph Owens

por Anderson, C. Anthony | Owens, Joseph, 1943-.

Series CSLI lecture notes ; no.20Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Stanford,Ca : Centre for the Study of Languages and Information, 1990Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 800.1/PRO.

Handbook of theoretical computer science / edited by Jan van Leeuwen

por Leeuwen, Jan van.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Amsterdam ; Oxford : Elsevier, c1990Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/HAN. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (4).

Páginas

Con tecnología Koha