ヘルプ
ヘルプ

検索結果 6 件

Mathematical interpretation of formal systems / Th. Skolem ... [et al.]. 2d ed. (Studies in logic and the foundations of mathematics)

Mathematical interpretation of formal systems / Th. Skolem ... [et al.]. 2d ed. (Studies in logic and the foundations of mathematics)
紙図書
North-Holland Pub. Co.1971.<H35-27>
国立国会図書館
  • 件名Logic, Symbolic and mathematical -- Congresses.
  • 一般注記...osion [sic] on Mathematical interpretation of formal systems which was orga......g Genootschap (Mathematical Society) at Amsterdam on Sept...

Mathematical interpretation of formal systems 2nd ed

Mathematical interpretation of formal systems 2nd ed
紙図書
Th. Skolem ... [et al.]North-Holland Pub. Co.1971
全国の図書館
  • 件名Logic, Symbolic and mathematical -- Congresses
  • 件名（識別子）Logic, Symbolic and mathematical -- Congresses
  • 一般注記...e symposion on Mathematical interpretation of formal systems which was orga......g Genootschap (Mathematical Society) at Amsterdam on Sept...

Mathematical interpretation of formal systems [by] Th. Skolem [and others]. (Studies in logic and the foundations of mathematics)

Mathematical interpretation of formal systems [by] Th. Skolem [and others]. (Studies in logic and the foundations of mathematics)
紙図書
North-Holland Pub. Co.1955.<164-W815m>
国立国会図書館
  • 件名Logic, Symbolic and mathematical.
  • 一般注記...e symposium on mathematical interpretation of formal systems in Amsterdam, Sept. 9-10, 195...

Mathematical interpretation of formal systems

Mathematical interpretation of formal systems
紙図書
Th. Skolem ... [et al.]North-Holland Pub. Co.1955
全国の図書館
  • 件名Logic, Symbolic and mathematical -- Congresses
  • 件名（識別子）Logic, Symbolic and mathematical -- Congresses
  • 一般注記...osion [sic] on Mathematical interpretation of formal systems which was orga......g Genootschap (Mathematical Society) at Amsterdam on Sept...

Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.

Hermann Dishkant. The first order predicate calculus based on the logic of quantum mechanics. Reports on mathematical logic, no. 3 (1974), pp. 9–17. - G. N. Georgacarakos. Orthomodularity and relevance. Journal of philosophical logic, vol. 8 (1979), pp. 415–432. - G. N. Georgacarakos. Equationally definable implication algebras for orthomodular lattices. Studia logica, vol. 39 (1980), pp. 5–18. - R. J. Greechie and S. P. Gudder. Is a quantum logic a logic?Helvetica physica acta, vol. 44 (1971), pp. 238–240. - Gary M. Hardegree. The conditional in abstract and concrete quantum logic. The logico-algehraic approach to quantum mechanics, volume II, Contemporary consolidation, edited by C. A. Hooker, The University of Western Ontario series in philosophy of science, vol. 5, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1979, pp. 49–108. - Gary M. Hardegree. Material implication in orthomodular (and Boolean) lattices. Notre Dame journal of formal logic, vol. 22 (1981), pp. 163–182. - J. M. Jauch and C. Piron. What is “quantum-logic”?Quanta, Essays in theoretical physics dedicated to Gregor Wentzel, edited by P. G. O. Freund, C. J. Goebel, and Y. Nambu, The University of Chicago Press, Chicago and London1970, pp. 166–181. - Jerzy Kotas. <i>An axiom system for the modular logic</i>. English with Polish and Russian summaries. Studia logica, vol. 21 (1967), pp. 17–38. - P. Mittelstaedt. <i>On the interpretation of the lattice of subspaces of the Hilbert space as a propositional calculus</i>. Zeitschrift für Naturforschung, vol. 27a no. 8–9 (1972), pp. 1358–1362. - J. Jay Zeman. <i>Generalized normal logic</i>. Journal of philosophical logic, vol. 7(1978), pp. 225–243.
デジタル記事
1983-03Journal of Symbolic Logic48 1p.206-208
全国の図書館

N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. <i>Bibliography.</i>The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.

N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. <i>Bibliography.</i>The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.
デジタル記事
1966-06Journal of Symbolic Logic31 2p.258-261
全国の図書館
  • 参照A Formalization of Brouwer’s Argument for Bar In...

検索結果は以上です。