本文に飛ぶ

年 〜
年

検索結果 7 件

An introduction to non-classical logic : from if to is : hbk : pbk 2nd ed

An introduction to non-classical logic : from if to is : hbk : pbk 2nd ed
紙図書
Graham PriestCambridge University Press2008
全国の図書館
  • LCCQA9.4

Generalized Galois logics : relational semantics of nonclassical logical calculi : pbk : cloth

Generalized Galois logics : relational semantics of nonclassical logical calculi : pbk : cloth
紙図書
[by] Katalin Bimbó and J. Michael DunnCenter for the Study of Language and Information, Leland Stanford Junior Universityc2008
全国の図書館
  • LCCQA9.4

Reasoning about theoretical entities

Reasoning about theoretical entities
紙図書
Thomas ForsterWorld Scientific2003
全国の図書館
  • LCCQA9.4

The mathematical method : a transition to advanced mathematics

The mathematical method : a transition to advanced mathematics
紙図書
Murray EisenbergPrentice Hallc1996
全国の図書館
  • LCCQA9.4

Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory

Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory
紙図書
edited by Ulrich Höhle and Erich Peter KlementKluwer Academic Publishersc1995
全国の図書館
  • LCCQA9.4

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. (Studies in logic and the foundations of mathematics ; v. 89)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. (Studies in logic and the foundations of mathematics ; v. 89)
紙図書
North-Holland Pub. Co.1977.<MA41-116>
国立国会図書館
  • LCCQA9.4

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
紙図書
edited by A.I. Arruda, N.C.A. da Costa, R. ChuaquiNorth-Holland Pub. Co.1977
全国の図書館
  • LCCQA9.4

検索結果は以上です。

RSS