Jump to main content

yr 〜
yr

Search results 7

Natural deduction : a proof-theoretical study : pbk

Natural deduction : a proof-theoretical study : pbk
Paper図書
Dag PrawitzDover Publications2006
Other Libraries in Japan

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)
Paper図書
Kluwer Academic Publishersc1994.<M15-A9214>
National Diet Library
  • Author Heading...psala, Sweden) Prawitz, Dag. Westerståhl, Dag, 1946-

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)
Paper図書
Elsevier1994.<M15-A9669>
National Diet Library
  • Author Heading...psala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, D...

Natural deduction : a proof-theoretical study

Natural deduction : a proof-theoretical study
Paper図書
Dag PrawitzUT Back-in print Service1998
Other Libraries in Japan

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
Paper図書
edited by Dag Prawitz and Dag WesterståhlKluwer Academic Publishersc1994
Other Libraries in Japan

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
Paper図書
edited by Dag Prawitz, Brian Skyrms, Dag WesterståhlElsevier1994
Other Libraries in Japan

Natural deduction : a proof-theoretical study

Natural deduction : a proof-theoretical study
Paper図書
Dag PrawitzAlmqvist & Wiksell1965
Other Libraries in Japan

Reached to the end of result.

RSS