Philosophy of mathematics and computer science

Studies in Logic, Grammar and Rhetoric 22 (35) (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,270

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

Concepts of Proof in Mathematics, Philosophy, and Computer Science.Peter Schuster & Dieter Probst (eds.) - 2016 - Boston: De Gruyter.
Temporal Logic Model Checkers as Applied in Computer Science.Kazimierz Trzęsicki - 2009 - Studies in Logic, Grammar and Rhetoric 17 (30).
Modeling in the Context of Computer Science- a Methodological Approach.Paweł Stacewicz & André Włodarczyk - 2010 - Studies in Logic, Grammar and Rhetoric 20 (33).
Philosophy of Logic and Mathematics in the Warsaw School of Mathematical Logic.Roman Murawski - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40).
Kazimierz Trzesicki.Zbiory Rozmyte Jako Zakresy Pojęć Porządkujących - 1993 - Studia Semiotyczne 18:125.
Kazimierz trzęsicki kategoria semantyczna.Operatorów Czasów Gramatycznych & I. Pojęcie Kategorii Semantycznej Wyrażeń - 1990 - Studia Semiotyczne 16:189.
Emergence in Mathematics?Stanisław Krajewski - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40).
Kazimierz Trzęsicki, Logika temporalna. Wybrane zagadnienia.Anna Kozanecka-Dymek - 2009 - Roczniki Filozoficzne:193-199.
Statistics on Digital Libraries of Mathematics.Freek Wiedijk - 2009 - Studies in Logic, Grammar and Rhetoric 18 (31).
Computer estimation of skeletal maturation on the basis of cervical vertebrae maturation.Anna Predko-Maliszewska & Agnieszka Predko-Engel - 2011 - Studies in Logic, Grammar and Rhetoric 25 (38).

Analytics

Added to PP
2018-03-10

Downloads
5 (#1,754,154)

6 months
5 (#1,056,575)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Philosophical Investigations.Ludwig Wittgenstein - 1953 - New York, NY, USA: Wiley-Blackwell. Edited by G. E. M. Anscombe.
The Foundations of Mathematics and Other Logical Essays.Frank Plumpton Ramsey - 1925 - London, England: Routledge & Kegan Paul. Edited by R. B. Braithwaite.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.

View all 50 references / Add more references