Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część II

Roczniki Filozoficzne 55 (2):139-153 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-05-27

Downloads
18 (#201,463)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Krzysztof Wójtowicz
University of Warsaw

Citations of this work

No citations found.

Add more citations

References found in this work

Science and method.Henri Poincaré - 1914 - New York]: Dover Publications. Edited by Francis Maitland.
Science and method.Henri Poincaré - 1914 - Mineola, N.Y.: Dover Publications. Edited by Francis Maitland.
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.

View all 11 references / Add more references