Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography

Studia Logica 78 (3):479-481 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Book review: Yves nievergelt, foundations of logic and mathematics: Applications to computer science and cryptography, birkäuser verlag, boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover. Dimensions (in inches): 1.00 × 9.96 × 7.36. [REVIEW]Walter A. Carnielli - 2004 - Studia Logica 78 (3):479-481.
Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
Hardness assumptions in the foundations of theoretical computer science.Jan Krajíček - 2005 - Archive for Mathematical Logic 44 (6):667-675.
From sets and types to topology and analysis: towards practicable foundations for constructive mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - New York: Oxford University Press.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
The indispensability argument and multiple foundations for mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
Reflections on mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Mathematical Foundations of Computer Science 1990 Banská Bystrica, Czechoslovakia, August 27-31, 1990 : Proceedings.B. Rovan & Symposium on Mathematical Foundations of Computer Science - 1990
Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.P. C. Gilmore & James H. Andrews - 2007 - Bulletin of Symbolic Logic 13 (1):104-105.
O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
Mathematical methods in philosophy: Editors' introduction.Aldo Antonelli, Alasdair Urquhart & Richard Zach - 2008 - Review of Symbolic Logic 1 (2):143-145.
Fibring logics.Dov M. Gabbay - 1999 - New York: Clarendon Press.
J. P. Mayberry, _The Foundations Of Mathematics In The Theory Of Sets. Encyclopedia Of Mathematics And Its Applications Ser._ , Vol. 82. Cambridge: Cambridge University Press (2000), xx+429 pp., index, cloth $80.00 (cloth). [REVIEW]Colin McLarty - 2002 - Philosophy of Science 69 (2):404-406.

Analytics

Added to PP
2015-02-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Proof, Explanation, and Justification in Mathematical Practice.Moti Mizrahi - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (4):551-568.

Add more citations

References found in this work

No references found.

Add more references