|
|
Biblioteca Dr. Antonio Monteiro · Catálogo |
| LDR | ·····cam##22·····#a#4500 |
| 001 | 003142 |
| 005 | 20150706171648.0 |
| 008 | 730924s1973####ne#######b####100#0#eng## |
| 245 | 10 | $a Truth, syntax and modality : $b proceedings of the Temple University Conference on Alternative Semantics / $c edited by Hugues Leblanc. |
| 260 | ## | $a Amsterdam : $b North-Holland, $c 1973. |
| 300 | ## | $a 317 p. ; $c 23 cm. |
| 440 | #0 | $a Studies in logic and the foundations of mathematics ; $v v. 68 |
| 500 | ## | $a La conferencia se realizó el 29 y 30 de diciembre de 1970, auspiciada por el College of Liberal Arts of Temple University y la Association for Symbolic Logic. |
| 504 | ## | $a Incluye referencias bibliográficas. |
| 505 | 0# | $a Hugues Leblanc, Semantic deviations -- Nuel D. Belnap, Jr. and Dorothy L. Grover, Quantifying in and out of quotes -- Nuel D. Belnap, Jr., Restricted quantification and conditional assertion -- Donald Davidson, In defense of convention $T$ -- J. Michael Dunn, A truth value semantics for modal logic -- Dorothy L. Grover, Propositional quantification and quotation contexts -- Leon Henkin, Internal semantics and algebraic logic -- Jaakko Hintikka, Surface semantics: definition and its motivation -- Hugues Leblanc and George Weaver, Truth-functionality and the ramified theory of types -- Robert K. Meyer, Intuitionism, entailment, negation -- Richard Routley and Robert K. Meyer, The semantics of entailment -- Dana S. Scott, Background to formalization -- Raymond M. Smullyan, A generalization of intuitionistic and modal logics -- Richmond H. Thomason, Philosophy and formal semantics -- George Weaver, Logical consequence in modal logic: alternative semantic systems for normal modal logics. |
| 510 | 4# | $a MR, $c 49 #7113 |
| 111 | 2# | $a Conference on Alternative Semantics $d (1970 : $c Temple University) |
| 700 | 1# | $a Leblanc, Hugues, $d 1924- $4 edt |
| 710 | 2# | $a Temple University. $b College of Liberal Arts. |
| 710 | 2# | $a Association for Symbolic Logic. |
| 650 | #0 | $a Logic, Symbolic and mathematical $x Congresses. |
| 650 | #0 | $a Semantics $x Congresses. |
| 084 | ## | $a 03B45 (03-06 03B47) $2 msc2000 |
| 010 | ## | $a ###72079730# |
| 040 | ## | $a DLC $c DLC $d DLC |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com