Zum Hauptinhalt springen

Suchergebnisse

Katalog
Ermittle Trefferzahl…

Discovery Service
377 Treffer

Suchmaske

Suchtipp für den Bereich Discovery Service: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Sprache

Inhaltsanbieter

377 Treffer

Sortierung: 
  1. Choynowski, Mieczyslaw
    In: Journal of Symbolic Logic, Jg. 16 (1951-12-01), Heft 4, S. 292-298
    serialPeriodical
  2. Feys, Robert
    In: Journal of Symbolic Logic, Jg. 21 (1956-12-01), Heft 4, S. 374-377
    serialPeriodical
  3. Pearce, David
    In: Journal of Symbolic Logic, Jg. 47 (1982-06-01), Heft 2, S. 464-470
    serialPeriodical
  4. Church, Alonzo
    In: Journal of Symbolic Logic, Jg. 40 (1975-09-01), Heft 3, S. 473-527
    serialPeriodical
  5. Stegmüller, Wolfgang
    In: Journal of Symbolic Logic, Jg. 32 (1968-02-01), Heft 4, S. 509-514
    serialPeriodical
  6. Harrop, Ronald
    In: Journal of Symbolic Logic, Jg. 25 (1960-09-01), Heft 3, S. 293-296
    serialPeriodical
  7. van Heijenoort, John
    In: Journal of Symbolic Logic, Jg. 21 (1956-06-01), Heft 2, S. 204-206
    serialPeriodical
  8. Tragesser, Robert
    In: Journal of Symbolic Logic, Jg. 53 (1988-06-01), Heft 2, S. 646-648
    serialPeriodical
  9. Matthias Schirn. Einige Bemerkungen zum Zusammenhang von Logik, Mathematik und Sprachphilosophie bei Frege. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 13–26. - Hans D. Sluga. Frege as a rationalist. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 27–47. - Albert Veraart. Geschichte des wissenschaftlichen Nachlasses Gottlob Freges und seiner Edition. Mit einem Katalog des urspriinglichen Bestands der nachgelassenen Schriften Freges. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 49–106. - Victor H. Dudman. From Boole to Frege. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 109–138. - Robert Sternfeld. The logistic thesis. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 139–160. - Michael D. Resnik. Die Frege–Hilbert Kontroverse. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 193–213. (German translation by Matthias Schirn of The Frege–Hilbert controversy, Philosophy andphenomenological research, vol. 34 no. 3 (1974), pp. 386–403.) - Friedrich Kambartel. Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie. A reprint of XLIV 119. (German translation by Matthias Schirn of The Frege–Hilbert controversy, Philosophy andphenomenological research, vol. 34 no. 3 (1974), pp. 215–228. - Michael Dummett. Frege on the consistency of mathematical theories. Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie. A reprint of XLIV 119. (German translation by Matthias Schirn of The Frege–Hilbert controversy, Philosophy andphenomenological research, vol. 34 no. 3 (1974), pp. 229–242
    Stoothoff, R. H.
    In: Journal of Symbolic Logic, Jg. 47 (1982-03-01), S. 226-229
    unknown
  10. Bernays, Paul
    In: Journal of Symbolic Logic, Jg. 6 (1941-03-01), Heft 1, S. 32-34
    serialPeriodical
  11. Stegmüller, Wolfgang
    In: Journal of Symbolic Logic, Jg. 32 (1968-02-01), S. 509-514
    unknown
  12. Feys, Robert
    In: Journal of Symbolic Logic, Jg. 21 (1956-12-01), S. 374-377
    unknown
  13. Hugues Leblanc. Preface. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. ix–x. - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 3–16. - Hugues Leblanc and T. Hailperin. Non-designating singular terms. A revised reprint of XXV 87. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 17–21. - Hugues Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. A revised reprint of XXXVII 424. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 22–57. - Hugues Leblanc and R. K. Meyer. On prefacing (∀x) ⊃ A(Y/X) with (∀Y): a free quantification theory without identity. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 58–75. (Reprinted with revisions from Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 447–462. - Hugues Leblanc. Truth-value semantics for a logic of existence. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 76–90. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 12 (1971), pp. 153–168.) - Hugues Leblanc and R. K. Meyer. Open formulas and the empty domain. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 91–98. (Reprinted from Archiv für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 78–84.) - K. Lambert, Hugues Leblanc, and R. K. Meyer. A liberated version of S5. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 99–102. (Reprinted with revisions from Archiv für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 151–154.) - Hugues Leblanc. On dispensing with things and worlds. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 103–119. (Reprinted with revisions from Logic and ontology, edited by Milton K. Munitz, New York University Press, New York 1973, pp. 241–259.) - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 123–138. - Hugues Leblanc. A simplified account of validity and implication for quantificational logic. A revised reprint of XXXV 466. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 139–143. - Hugues Leblanc. A simplified strong completeness proof for QC=. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 144–155. (Reprinted with minor revisions from Akten des XIV. Internationalen Kongresses für Philosophie Wien, 2.-9. September 1968, vol. 3, Logik Erkenntnis- und Wissenschaftstheorie Sprachphilosophie Ontologie und Metaphysik, Universität Wien, Herder, Vienna 1969, pp. 83–96.) - Hugues Leblanc. Truth-value assignments and their cardinality. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 156–165. (Reprinted with revisions from Philosophia, vol. 7 (1978), pp. 305–316.) - Hugues Leblanc. Three generalizations of a theorem of Beth's. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 166–176. (Reprinted with revisions from Logique et analyse, n.s. vol. 12 (1969), pp. 205–220.) - Hugues Leblanc and R. K. Meyer. Truth-value semantics for the theory of types. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 177–197. (Reprinted with revisions from Philosophical problems in logic, Some recent developments, edited by Karel Lambert, Synthese library, D. Reidel Publishing Company, Dordrecht 1970, pp. 77–101.) - Hugues Leblanc. Wittgenstein and the truth-functionality thesis. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 198–204. (Reprinted with revisions from American philosophical quarterly, vol. 9 (1972), pp. 271–274.) - Hugues Leblanc. Matters of relevance. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 205–219. (Reprinted from Journal of philosophical logic, vol. 1 (1972), pp. 269–286. Also reprinted in Exact philosophy, Problems, tools, and goals, edited by Mario Bunge, Synthese library, D. Reidel Publishing Company, Dordrecht and Boston 1973, pp. 3–20.) - Hugues Leblanc and G. Weaver. Truth-functionality and the ramified theory of types. A revised reprint of XLII 313. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 220–235. - Hugues Leblanc. That Principia mathematica, first edition, has a predicative interpretation after all. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 236–239. (Reprinted with revisions from Journal of philosophical logic, vol. 4 (1975), pp. 67–70.) - H. Goldberg, Hugues Leblanc, and G. Weaver. A strong completeness theorem for three-valued logic: part I. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 240–246. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 15 (1974), pp. 325–330.) - Hugues Leblanc. A strong completeness theorem for three-valued logic: part II. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 247–257. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 18 (1977), pp. 107–116.) - Hugues Leblanc and R. P. McArthur. A completeness result for quantificational tense logic. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 258–266. (Reprinted with revisions from Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 22 (1976), pp. 89–96.) - Hugues Leblanc. Semantic deviations. A revised reprint of XLII 313. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 267–280. - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 283–292. - Hugues Leblanc. Marginalia on Gentzen's Sequenzen-Kalkulë. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 293–300. (Reprinted with revisions from Contributions to logic and methodology in honor of J. M. Bocheński, edited by Anna-Teresa Tymieniecka in collaboration with Charles Parsons, North-Holland Publishing Company, Amsterdam 1965, pp. 73–83.) - Hugues Leblanc. Structural rules of inference. A revised reprint of XXVIII 256. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 301–305. - Hugues Leblanc. Proof routines for the propositional calculus. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 306–327. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 4 (1963), pp. 81–104.) - Hugues Leblanc. Two separation theorems for natural deduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 328–349. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 7 (1966), pp. 159–180.) - Hugues Leblanc. Two shortcomings of natural deduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 350–357. (Reprinted with revisions from The journal of philosophy, vol. 63 (1966), pp. 29–37.) - Hugues Leblanc. Subformula theorems for N-sequents. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 358–381. (Reprinted with minor revisions from The journal of symbolic logic, vol. 33 (1968), pp. 161–179.) - E. W. Beth and Hugues Leblanc. A note on the intuitionist and the classical propositional calculus. A revised reprint of XXV 351. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 382–384. - Hugues Leblanc and N. D. Belnap Jr. Intuitionism reconsidered. A revised reprint of XXVIII 256. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 385–389. - N. D. BelnapJr., Hugues Leblanc, and R. H. Thomason. On not strengthening intuitionistic logic. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 390–396. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 313–320.) - Hugues Leblanc and R. H. Thomason. The demarcation line between intuitionist logic and classical logic. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 397–403. (Reprinted with revisions from Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 257–262.) - Hugues Leblanc. Boolean algebra and the propositional calculus. A revised reprint of XXXVII 755. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 404–407. - Hugues Leblanc. The algebra of logic and the theory of deduction. A revised reprint of XXXVII 755. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 408–413. - Hugues Leblanc and R. H. Thomason. All or none: a novel choice of primitives for elementary logic. A revised reprint of XXXIV 124. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 414–421. - Hugues Leblanc and R. K. Meyer. Matters of separation. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 422–430. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 13 (1972), pp. 229–236.) - Hugues Leblanc. Generalization in first-order logic. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 431–452. (Reprinted with revisions from Notre Dame journal of formal logic, vol. 20 (1979), pp. 835–857.)
    Bencivenga, Ermanno
    In: Journal of Symbolic Logic, Jg. 50 (1985-03-01), S. 227-231
    unknown
  14. Church, Alonzo
    In: Journal of Symbolic Logic, Jg. 40 (1975-09-01), S. 473-527
    unknown
  15. Scholz, Heinrich ; Kreisel, G.
    In: Journal of Symbolic Logic, Jg. 28 (1963-12-01), S. 283-288
    unknown
  16. Tragesser, Robert
    In: Journal of Symbolic Logic, Jg. 53 (1988-06-01), S. 646-648
    unknown
  17. Angelelli, I.
    In: Journal of Symbolic Logic, Jg. 33 (1968-07-23), S. 282-284
    unknown
  18. Bernays, Paul
    In: Journal of Symbolic Logic, Jg. 6 (1941-03-01), S. 32-34
    unknown

Weitere Kataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -