Some methods of formal proofs. III

Notre Dame Journal of Formal Logic 12 (4):479-482 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894371

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

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

Some examples of different methods of formal proofs with generalizations of the satisfiability definition.Juliusz Reichbach - 1969 - Notre Dame Journal of Formal Logic 10 (2):214-224.
.[author unknown] - unknown
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
Proofs for the Existence of God.Lawrence Nolan & Alan Nelson - 2006 - In Stephen Gaukroger (ed.), The Blackwell to Descartes’ Meditations. Blackwell. pp. 104--121.
Dowody komputerowe a status epistemologiczny twierdzeń matematyki.Izabela Bondecka-Krzykowska - 1999 - Filozofia Nauki 3.
The 5 Questions.Wolfgang Spohn - 2005 - In Vincent F. Hendricks & John Symons (eds.), Formal Philosophy. Automatic Press/VIP.
Proof and disproof in formal logic: an introduction for programmers.Richard Bornat - 2005 - New York: Oxford University Press.
Decision problems in strings and formal methods.Harvey M. Friedman - unknown
Proofs and refutations (III).Imre Lakatos - 1963 - British Journal for the Philosophy of Science 14 (55):221-245.
Formal and Empirical Methods in Philosophy of Science.Vincenzo Crupi & Stephan Hartmann - 2009 - In Friedrich Stadler et al (ed.), The Present Situation in the Philosophy of Science. Springer. pp. 87--98.

Analytics

Added to PP
2010-08-24

Downloads
9 (#1,228,347)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references