Jump to main content

yr 〜
yr

Search results 4

Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions : symposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, Kobe, Japan. (Springer Proceedings in Mathematics & Statistics ; 369)

Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions : symposium on advances in mathematical logic 2018 : SAML2018 : Sep 2018, Kobe, Japan. (Springer Proceedings in Mathematics & Statistics ; 369)
Paper図書
Springer[2021]<M17-22-630>
National Diet LibraryOther Libraries in Japan

Proceedings of the 14th and 15th Asian logic conferences : Mumbai, India 5-8 January 2015 : Daejeon, South Korea 10-14 July 2017 : Asian logic conference : ALC : ASL (the Association for Symbolic Logic)-sponsored meeting : official ASL meeting : ------.

Proceedings of the 14th and 15th Asian logic conferences : Mumbai, India 5-8 January 2015 : Daejeon, South Korea 10-14 July 2017 : Asian logic conference : ALC : ASL (the Association for Symbolic Logic)-sponsored meeting : official ASL meeting : ------.
Paper図書
World Scientific Publishing Co. Pte. Ltd.[2019]<M17-23-94>
National Diet Library

The age of alternative logics : assessing philosophy of logic and mathematics today : PB

The age of alternative logics : assessing philosophy of logic and mathematics today : PB
Paper図書
edited by Johan van Benthem ... [et al.]Springerc2009
Other Libraries in Japan
  • Subject Heading...s (Philosophy) Logique symbolique et mathématique -- Congrès Logique mathématique non clas...
  • Subject Heading (ID)...s (Philosophy) Logique symbolique et mathématique -- Congrès Logique mathématique non clas...

The age of alternative logics : assessing philosophy of logic and mathematics today : HB

The age of alternative logics : assessing philosophy of logic and mathematics today : HB
Paper図書
edited by Johan van Benthem ... [et al.]Springerc2006
Other Libraries in Japan
  • Subject Heading...s (Philosophy) Logique symbolique et mathématique -- Congrès Logique mathématique non clas...
  • Subject Heading (ID)...s (Philosophy) Logique symbolique et mathématique -- Congrès Logique mathématique non clas...

Reached to the end of result.

RSS