Jump to main content

yr 〜
yr

Search results 209

Studia Logica

Studia Logica
Paper雑誌雑誌タイトル
Kluwer Academic Publishers<Z51-H252>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)
Paper図書
Toshiyasu AraiSpringer[2020]<MA21-D26>
National Diet Library

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)
Paper図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.Springer[2020]<H35-D4>
National Diet LibraryOther Libraries in Japan
  • Related MaterialLogic in Asia : Studia logica library
  • Periodical TitleLogic in Asia : Studia logica library

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)
Paper図書
Shier Ju, Hu Liu, Hiroakira Ono, editors.Springer[2015]<H35-B17>
National Diet LibraryOther Libraries in Japan
  • Related MaterialLogic in Asia : Studia logica library
  • Periodical TitleLogic in Asia : Studia logica library

Towards mathematical philosophy : papers from the Studia Logica conference Trends in Logic IV : pbk

Towards mathematical philosophy : papers from the Studia Logica conference Trends in Logic IV : pbk
Paper図書
David Makinson, Jacek Malinowski, Heinrich Wansing editorsSpringerc2009
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Trends in logic : 50 years of Studia Logica

Trends in logic : 50 years of Studia Logica
Paper図書
edited by Vincent F. Hendricks and Jacek MalinowskiKluwer Academicc2003
Other Libraries in Japan
  • Note (General)... - 50 Years of Studia Logica. The first conference took pl...
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Trends in logic : studia logica library

Trends in logic : studia logica library
Paper図書
Kluwer Academic Publishersc1997-
Other Libraries in Japan
  • Related Material... : 50 years of Studia Logica Protoalgebraic......apers from the Studia Logica conference Trends in Logic IV...

Studia logica [Reprint ed.]

Studia logica [Reprint ed.]
Paper雑誌雑誌タイトル
Komitet Filozoficzny, Polska Akademia NaukSwets & Zeitlinger N.V.1970-
Other Libraries in Japan
  • Alternative TitleStud. logica Studia logica
  • Alternative TitleStud. logica Studia logica
  •  
  •  
  •  
  •  
  •  
    •  

Logics of variable inclusion

Logics of variable inclusion
Paper図書
Stefano Bonzio, Francesco Paoli, Michele Pra BaldiSpringerc2022
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

The logical writings of Karl Popper : pbk

The logical writings of Karl Popper : pbk
Paper図書
David Binder, Thomas Piecha, Peter Schroeder-Heister, editorsSpringerc2022
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Inquisitive logic : consequence and inference in the realm of questions : [hbk]

Inquisitive logic : consequence and inference in the realm of questions : [hbk]
Paper図書
Ivano CiardelliSpringerc2022
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Logic and Implication : an introduction to the general algebraic study of non-classical logics hbk.

Logic and Implication : an introduction to the general algebraic study of non-classical logics hbk.
Paper図書
Petr Cintula, Carles Noguera2021
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Logic in high definition : trends in logical semantics

Logic in high definition : trends in logical semantics
Paper図書
Alessandro Giordani, Jacek Malinowski, editorsSpringerc2021
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Algebraic perspectives on substructural logics

Algebraic perspectives on substructural logics
Paper図書
Davide Fazio, Antonio Ledda, Francesco Paoli, editorsSpringerc2021
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Logic in high definition : trends in logical semantics : [pbk.]

Logic in high definition : trends in logical semantics : [pbk.]
Paper図書
Alessandro Giordani, Jacek Malinowski, editorsSpringerc2021
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Donald Davidson on action, mind and value

Donald Davidson on action, mind and value
Paper図書
Syraya Chin-Mu Yang, Robert H. Myers, editorsSpringerc2021
Other Libraries in Japan
  • Related MaterialLogic in Asia : Studia logica library
  • Periodical TitleLogic in Asia : Studia logica library

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
Paper図書
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editorsSpringerc2020
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Ordinal analysis with an introduction to proof theory : [pbk.]

Ordinal analysis with an introduction to proof theory : [pbk.]
Paper図書
Toshiyasu AraiSpringerc2020
Other Libraries in Japan
  • Related MaterialLogic in Asia : Studia logica library
  • Periodical TitleLogic in Asia : Studia logica library

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory : hardback

Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory : hardback
Paper図書
Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editorsSpringerc2020
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library

Heyting algebras : duality theory

Heyting algebras : duality theory
Paper図書
Leo Esakia ; Guram Bezhanishvili, Wesley H. Holliday editors ; translated by Anton EvseevSpringerc2019
Other Libraries in Japan
  • Related MaterialTrends in logic : studia logica library
  • Periodical TitleTrends in logic : studia logica library
RSS