富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 160)
該当件数:21件
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings / edited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13923)
電子ブック
Logic, Rationality, and Interaction : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings / edited by Natasha Alechina, Andreas Herzig, Fei Liang
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14329)
Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13780)
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu
1st ed. 2023.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2023). - (Lecture Notes in Computer Science. ISSN:16113349 ; 14066)
Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / edited by Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13468)
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings / edited by Laura Kovács, Karl Meinke
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13361)
Where Responsibility Takes You : Logics of Agency, Counterfactuals, and Norms / by Ilaria Canavotto
1st ed. 2022.. - (Cham : Springer Nature Switzerland : Imprint: Springer , 2022). - (Lecture Notes in Computer Science. ISSN:16113349 ; 13228)
あなたは自分を利口だと思いますか? : オックスフォード大学・ケンブリッジ大学の入試問題 / ジョン・ファーンドン著 ; 小田島恒志, 小田島則子訳
東京 : 河出書房新社 , 2011.12
図書
私と宗教 : 高村薫、小林よしのり、小川洋子、立花隆、荒木経惟、高橋惠子、龍村仁、細江英公、想田和弘、水木しげる / 渡邊直樹編
東京 : 平凡社 , 2011.10. - (平凡社新書 ; 608)
宗教 / 井上順孝著
最新版. - 東京 : ナツメ社 , 2011.5. - (図解雑学 : 絵と文章でわかりやすい!)
Logic / John Nolt, Dennis Rohatyn, Achille Varzi
: pbk. - 2nd ed. - New York : McGraw-Hill , c2011. - (Schaum's outline series)
Meaning and argument : an introduction to logic through language / Ernest Lepore
: pbk. - Rev. ed. - Oxford : Blackwell , 2003
東京 : ナツメ社 , 2001.5. - (図解雑学 : 絵と文章でわかりやすい!)
The logic of provability / George Boolos
Cambridge [England] : New York, NY, USA : Cambridge University Press , 1993
Conditionals / edited by Frank Jackson
:,: pbk. - Oxford : New York : Oxford University Press , 1991. - (Oxford readings in philosophy)
Presuppositions and non-truth-conditional semantics / Deirdre Wilson
Aldershot, Hampshire [England] : Gregg Revivals , c1991. - (Modern revivals in philosophy)
The limits to debate : a revised theory of semantic presupposition / Noel Burton-Roberts
Cambridge [England] : Cambridge University Press , 1989. - (Cambridge studies in linguistics ; 51)
An introduction to modal logic / G. E. Hughes [and] M. J. Cresswell
London : Routledge , 1989, c1968. - (University paperbacks)
The languages of logic : an introduction to formal logic / Samuel Guttenplan
: pbk. - Oxford OX, UK : New York, NY, USA : Blackwell , 1986
Introduction to logic / Patrick Suppes
Princeton, N.J. : D. Van Nostrand , c1957. - (The university series in undergraduate mathematics)