|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 8 gevonden artikelen
| Titel: |
Book reviews |
| Auteur: |
Rutherford, Donald Grosholz, E. R. Clarke, D. M. Irvine, A. D. Detlefsen, M. Heinzmann, Gerhard Jane, I. Costa, N.C.A Da Hauser, Larry |
| Verschenen in: |
History and philosophy of logic |
| Paginering: | Jaargang 15 (1994) nr. 1 pagina's 127-147 |
| Jaar: |
1994 |
| Inhoud: |
Hide Ishiguro, Leibniz's philosophy of logic and language. 2nd ed. Cambridge:Cambridge University Press, 1990. x + 246pp. £27.50/$49.50 (cloth); £10.95/$16.95 (paper) Massimo Mugnai, Leibniz' theory of relations. (Studia Leibnitiana Supplementa Volume XXVIII.) Stuttgart:Franz Steiner Verlag, 1992. 291 pp. 96 DM W. A. Wallace, Galileo's logic of discovery and proof The background, content, and use of his appropriated treatises on Aristotle's posterior analytics. (Boston Studies in the Philosophy of Science, volume 137.) Dordrecht, Boston, and London:Kluwer, 1992. xxiii + 323 pp. £84, $139, DF1240 W. A. Wallace, Galileo's logical treatises. A translation, with notes and commentary, of his appropriated Latin questions on Aristotle's posterior analytics. (Boston Studies in the Philosophy of Science, volume 138) Dordrecht, Boston, and London:Kluwer, 1992. xix + 239 pp. £65, $;99, DF1185 W. A. Wallace, Galileo's early notebooks:the physical questions (Notre Dame, University of Notre Dame Press, 1977); Prelude to Galileo: essays on medieval and sixteenth-century sources of Galileo's thought (Dordrecht, Reidel, 1981); Galileo and his sources: the heritage of the Collegio Romano in Galileo's science (Princeton University Press, 1984); and Galileo Galilei:Tractatio de Precognitionibus et Praecognitis and Tractatio de Demonstration (ed. W. F. Edwards and W. A. Wallace: Rome, Editrice Antenore, 1988) Raymond M. Smullyan, GodeVs incompleteness theorems, (Oxford Logic Guides, 19.) New York, Oxford:Oxford University Press, 1992. xiii + 139. pp. $29.95 Raymond M. Smullyan, Recursion theory for metamathematics, (Oxford Logic Guides, 22.) New York, Oxford:Oxford University Press, 1993. xiv + 163 pp. $29.95 D. MieVille (ed.), Kurt Godel:Actes du Colloque, Neuchatel 13-14 juin 1991. Neuchatel, Switzerland: Centre de Recherches Semiologiques, Universite de Neuchatel, 1992. iv +200pp. 15 Sfr Geoffrey Hellman, Mathematics without numbers. Oxford:Clarendon Press, 1989. xi + 154 pp. £22.50 Michael Detlefsen (ed.) Proof, logic and formalization. London and New York:Routledge, 1992. x + 241 pp. £40.00 J. Cavailles, Metodo axiomatico y formalismo. Foreword by S. Ramirez. Translation from the French by C. Alvarez and S. Ramirez. Mexico:Servicios Editoriales de la Facultad de Ciencias, UNAM, 1992. 199pp. No price stated Roberto Poli, Ontologia formale. Genoa:Marietti, 1992, 542 pp. No price stated Jon Barwise and John Etchemendy, The language of first-order logic (including the program TarskVs World 4.0), 3rd edition, Stanford, CA:CLSI Lecture Notes No. 34, 1992 (distributed by the University of Chicago Press, Chicago), xiv + 329pp. US $34.95 |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 8 gevonden artikelen
| << vorige | volgende >> |