- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by H. Pogorzelski
10 found
Order:
Disambiguations
Disambiguations:
| H. A. Pogorzelski [12] | Henry A. Pogorzelski [2] | H. Pogorzelski [1] |
- What Are Numbers and What Should They Be?Richard Dedekind, H. Pogorzelski, W. Ryan & W. Snyder - 1997 - Studia Logica 58 (2):330-332.Export citation
Bookmark - (1 other version)Commutative recursive word arithmetic in the alphabet of prime numbers.Henry A. Pogorzelski - 1964 - Notre Dame Journal of Formal Logic 5 (1):13-23.
- A Note on an Arithmetization of a Word System in a Denumerable Alphabet.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3-4):247-249.No categories
- (2 other versions)Nonconcatenative Abstract Skolem Arithmetics I.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (2):89-92.
- Nonconcatenative Abstract Skolem Arithmetics II.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (3):249-252.
- Nonconcatenative Abstract Skolem Arithmetics III.H. A. Pogorzelski - 1965 - Mathematical Logic Quarterly 11 (4):373-376.
- Primitive Words in an Infinite Abstract Alphabet.H. A. Pogorzelski - 1964 - Mathematical Logic Quarterly 10 (13-17):193-198.No categories
- Remarks on Nicod's Axiom and on "Generalizing Deduction".H. A. Pogorzelski, Jan Lukasiewicz, Jerzy Slupecki & Panstwowe Wydawnictwo - 1965 - Journal of Symbolic Logic 30 (3):376.
- Word Arithmetic: Theory of Primitive Words.H. A. Pogorzelski - 1962 - Mathematical Logic Quarterly 8 (3-4):251-255.
- M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-7qg25 dc2