Already a subscriber? - Login here
Not yet a subscriber? - Subscribe here

Displaying: 41-50 of 352 documents


symbolic logic and philosophy of mathematics
41. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
J. J. De Iongh Restricted Forms of Intuitionistic Mathematics
view |  rights & permissions | cited by
42. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
P. G. J. Vredenduin The Constructive Method
view |  rights & permissions | cited by
43. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
A. A. Fraenkel The Relation of Equality in Deductive Systems
view |  rights & permissions | cited by
44. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
L. Kalmár On Unsolvable Mathematical Problems
view |  rights & permissions | cited by
45. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
Janos Suranyi Reduction of the Decision Problem to Formulas Containing a Bounded Number of Quantifiers Only
view |  rights & permissions | cited by
46. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
W. Szmielew Decision Problem in Group Theory
view |  rights & permissions | cited by
47. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
A. Mostowski Sur l’interpretation Géométrique et Topologique des Notions Logiques
view |  rights & permissions | cited by
48. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
H. B. Curry Languages and Formal Systems
view |  rights & permissions | cited by
49. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
Maria Kokoszynska On a Certain Condition of a Semantical Theory of Science
view |  rights & permissions | cited by
50. Proceedings of the Tenth International Congress of Philosophy: Volume > 2
A. Grzegorczyk Un Essai d’etablir la Sémantique du Langage Descriptif
view |  rights & permissions | cited by