城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Pacholski Leszek)
該当件数:3件
Computer Science Logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers / edited by Leszek Pacholski, Jerzy Tiuryn
1st ed. 1995.. - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995. - (Lecture Notes in Computer Science. ISSN:16113349 ; 933)
電子ブック
Logic Colloquium '77 : proceedings of the colloquium held in Wroclaw, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris.
v. 96. - Amsterdam : North-Holland Publishing Company , 1978. - New York : Elsevier North-Holland , 1978. - (Studies in logic and the foundations of mathematics ; v. 96)
図書
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie.
834. - Berlin : Springer , 1980. - (Lecture notes in mathematics ; 834)