本文に飛ぶ

年 〜
年

検索結果 7 件

Natural deduction : a proof-theoretical study : pbk

Natural deduction : a proof-theoretical study : pbk
紙図書
Dag PrawitzDover Publications2006
全国の図書館

Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991/ edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl. (Studies in logic and the foundations of mathematics ; v. 134)

Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991/ edited by Dag Prawitz, Brian Skyrms, Dag Westerståhl. (Studies in logic and the foundations of mathematics ; v. 134)
紙図書
Elsevier1994.<M15-A9669>
国立国会図書館
  • 著者標目...psala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, D...

Logic and philosophy of science in Uppsala : papers from the 9th International Congress of Logic, Methodology, and Philosophy of Science / edited by Dag Prawitz and Dag Westerståhl. (Synthese library ; v. 236)

Logic and philosophy of science in Uppsala : papers from the 9th International Congress of Logic, Methodology, and Philosophy of Science / edited by Dag Prawitz and Dag Westerståhl. (Synthese library ; v. 236)
紙図書
Kluwer Academic Publishersc1994.<M15-A9214>
国立国会図書館
  • 著者標目...psala, Sweden) Prawitz, Dag. Westerståhl, Dag, 1946-

Natural deduction : a proof-theoretical study

Natural deduction : a proof-theoretical study
紙図書
Dag PrawitzUT Back-in print Service1998
全国の図書館

Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
紙図書
edited by Dag Prawitz, Brian Skyrms, Dag WesterståhlElsevier1994
全国の図書館

Logic and philosophy of science in Uppsala : papers from the 9th International Congress of Logic, Methodology and Philosophy of Science

Logic and philosophy of science in Uppsala : papers from the 9th International Congress of Logic, Methodology and Philosophy of Science
紙図書
edited by Dag Prawitz and Dag WesterståhlKluwer Academic Publishersc1994
全国の図書館

Natural deduction : a proof-theoretical study

Natural deduction : a proof-theoretical study
紙図書
Dag PrawitzAlmqvist & Wiksell1965
全国の図書館

検索結果は以上です。

RSS