From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec

& (eds.)
The University of Bialystok, Polen (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Chapters

The curious inference of Boolos in MIZAR and OMEGA.  (pages 299-388)Christoph Benzmüller & Chad Brown

Similar books and articles

The curious inference of Boolos in MIZAR and OMEGA.Christoph Benzmüller & Chad Brown - 2007 - In Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec. The University of Bialystok, Polen. pp. 299-388.
A model of causality.Andrzej Trybulec - 1976 - Studia Logica 35 (1):7 - 16.
The Mizar Project.Andrzej Trybulec - 1991 - Bulletin of the Section of Logic 20 (3/4):90-91.
Coherence of a Text and its Topology.Zygmunt Saloni & Andrzej Trybulec - 1974 - Semiotica 11 (2).
Revelation and/as Insight.Charles Hefling - 2007 - In David S. Liptay & John J. Liptay (eds.), The Importance of Insight: Essays in Honour of Michael Vertin. University of Toronto Press. pp. 97-115.
Part four: Further thoughts on insight.Philip McShane - 2007 - In David S. Liptay & John J. Liptay (eds.), The Importance of Insight: Essays in Honour of Michael Vertin. University of Toronto Press. pp. 199-226.
Empirical Consciousness in Insight: Is Our Conception Too Narrow?Robert M. Doran - 2007 - In David S. Liptay & John J. Liptay (eds.), The Importance of Insight: Essays in Honour of Michael Vertin. University of Toronto Press. pp. 49-63.
The Ethics of Authenticity and the Human Good, in Honour of Michael Vertin, an Authentic Colleague.Fred Lawrence - 2007 - In David S. Liptay & John J. Liptay (eds.), The Importance of Insight: Essays in Honour of Michael Vertin. University of Toronto Press. pp. 127-150.
O relatywizmie językowym raz jeszcze.Anna Jedynak - 2009 - Filozofia Nauki 17 (3).
Beiträge zür Psychologie und Physiologie der Sinnes organe. [Festschrift in honour of Helmholtz. [REVIEW]E. B. Titchener - 1893 - Mind 2:117.
Editorial: Festschrift: Essays in honour of James D. Marshall.Michael A. Peters & Paul Smeyers - 2005 - Educational Philosophy and Theory 37 (3):255–256.
Semantic and game-theoretical insight into argumentation and proof.Barrier Thomas, Durand-Guerrier Viviane & Thomas Blossier - unknown
Review of Kaushik Basu, Prasanta Pattanaik and Kotaro Suzumura: Choice, Welfare, and Development: A Festschrift in Honour of Amartya K. Sen.. [REVIEW]Robert Sugden - 1997 - Ethics 107 (4):724-725.
Editorial: Festschrift: Essays in honour of James D. Marshall.Paul Smeyers Michael A. Peters - 2005 - Educational Philosophy and Theory 37 (3):255-256.
REVIEWS-A Festschrift in honour of Professor Ivor Grattan-Guinness.J. Dawson & Risto Vilkko - 2005 - Bulletin of Symbolic Logic 11 (1):89-91.

Analytics

Added to PP
2017-12-04

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references