Jump to main content

yr 〜
yr

Search results 14

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)

Hiroakira Ono on substructural logic (Outstanding contributions to logic ; volume 23)
Paper図書
Nikolaos Galatos, Kazushige Terui, editorsSpringer[2022]<MA41-D8>
National Diet Library

WAIC and WBIC with Python Stan : 100 exercises for building logic

WAIC and WBIC with Python Stan : 100 exercises for building logic
Paper図書
Joe SuzukiSpringer[2023]<MA211-D58>
National Diet LibraryOther Libraries in Japan

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

Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)

Handbook of the logic of argument and inference : the turn towards the practical / edited by Dov M. Gabbay ... [et al.]. 1st ed. (Studies in logic and practical reasoning ; v. 1)
Paper図書
Elsevier2002.<MA41-B19>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical. Logica. Argumentatie. Logique symbolique et mathématique.

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ématiq...
  • Subject Heading (ID)...s (Philosophy) Logique symbolique et mathématique -- Congrès Logique mathématiq...

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ématiq...
  • Subject Heading (ID)...s (Philosophy) Logique symbolique et mathématique -- Congrès Logique mathématiq...

From Frege to Gödel; a source book in mathematical logic, 1879-1931. (Source books in the history of the sciences)

From Frege to Gödel; a source book in mathematical logic, 1879-1931. (Source books in the history of the sciences)
Paper図書
Harvard University Press1967.<H35-2>
National Diet Library
  • Subject HeadingLogique symbolique et mathématique. Mathématiques -- Philosophie...

Grundzüge der mathematischen Logik, von Heinrich Scholz und Gisbert Hasenjaeger. (Die Grundiehren der mathematischen Wissenschaften in Einzeldarstellungen und besonderer Berücksichtigng der Anwendungsgebiete, Bd. 106)

Grundzüge der mathematischen Logik, von Heinrich Scholz und Gisbert Hasenjaeger. (Die Grundiehren der mathematischen Wissenschaften in Einzeldarstellungen und besonderer Berücksichtigng der Anwendungsgebiete, Bd. 106)
Paper図書
Springer1961.<164-S368g>
National Diet Library
  • Subject HeadingLogique symbolique et mathématique. Logic, Symbolic and mathemat...

Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques 2e. éd

Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques 2e. éd
Paper図書
Jean Cavaillès ; introduction de Jean-Toussaint Desanti ; préface de Henri CartanHermann1981
Other Libraries in Japan
  • Subject Heading...-- Philosophie Logique symbolique et mathématique
  • Subject Heading (ID)...-- Philosophie Logique symbolique et mathématique

What is mathematical logic? : pbk

What is mathematical logic? : pbk
Paper図書
J.N. Crossley ... [et al.]Oxford University Press1972
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical Logique symbolique et mathématique
  • Subject Heading (ID)Logic, Symbolic and mathematical Logique symbolique et mathématique

Logique et enseignement de la mathématique

Logique et enseignement de la mathématique
Paper図書
R. Gauthier et A. GouretO.C.D.L.-Hatier1971
Other Libraries in Japan
  • Subject HeadingLogique symbolique et mathématique Mathématiques -- Étude et ens...
  • Subject Heading (ID)Logique symbolique et mathématique Mathématiques -- Étude et ens...

Boole : 1815-1864 : l'oiseau de nuit en plein jour

Boole : 1815-1864 : l'oiseau de nuit en plein jour
Paper図書
par Souleymane Bachir Diagne ; avec des notes et annexes de Marie-José DurandBelinc1989
Other Libraries in Japan
  • Subject Heading...-- Biographies Logique symbolique et mathématique -- Histoire Boole, Algèbre de...
  • Subject Heading (ID)...-- Biographies Logique symbolique et mathématique -- Histoire Boole, Algèbre de...

Symbolic logic

Symbolic logic
Microform図書
by Lewis CarrollReadex Microprint[19--]
Other Libraries in Japan
  • Subject HeadingLogique symbolique et mathématique
  • Subject Heading (ID)Logique symbolique et mathématique

Reached to the end of result.

RSS