Jump to main content
NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
~1940s
(1)
1960s
(1)
1970s
(2)
1980s
(5)
1990s
(6)
2000s
(98)
2010s
(110)
2020s
(28)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(65)
Periodicals
(193)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
Maps
Musical Scores
Web sites
Online Publications
(4)
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(4)
Paper
(257)
Microform
Recording Media
(1)
Deselect all
Refiners
Refiners
Search results 261
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
Journal of Symbolic Logic
Journal of Symbolic Logic
Paper
Recording Media
雑誌
雑誌タイトル
Association for Symbolic Logic
<Z52-A56>
National Diet Library
Other Libraries in Japan
Volumes of this title
Bulletin of Symbolic Logic
Bulletin of Symbolic Logic
Paper
雑誌
雑誌タイトル
Association for Symbolic Logic
<Z54-H838>
National Diet Library
Other Libraries in Japan
Volumes of this title
Journal of organization and discourse
Journal of organization and discourse
Digital
雑誌
電子書籍・電子雑誌
雑誌タイトル
Japanese Standing Conference on Organizational Symbolism
2020
<ISSN>
National Diet Library
Volumes of this title
Communications of Japan Society for Symbolic and Algebraic Computation
Communications of Japan Society for Symbolic and Algebraic Computation
Digital
電子書籍・電子雑誌
障害者向け資料あり
Japan Society for Symbolic and Algebraic Computation
National Diet Library
Volumes of this title
Communications of Japan Society for Symbolic and Algebraic Computation
Communications of Japan Society for Symbolic and Algebraic Computation
Paper
雑誌
雑誌タイトル
Japan Society for Symbolic and Algebraic Computation
2012
<Z78-A742>
National Diet Library
Volumes of this title
Ассоциации : хайку и японская фотография 1860-1890-х годов из коллекции МАММ
Ассоциации : хайку и японская фотография 1860-1890-х годов из коллекции МАММ
Paper
図書
Андрей Черкасенко
Symbols
c2018
Other Libraries in Japan
Computable structure theory : within the arithmetic : hardback
Computable structure theory : within the arithmetic : hardback
Paper
図書
Antonio Montalbán
Cambridge University Press
2021
Other Libraries in Japan
Large cardinals, determinacy and other topics : hardback
Large cardinals, determinacy and other topics : hardback
Paper
図書
edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel
Association for Symbolic Logic
2021
Other Libraries in Japan
Complexity of infinite-domain constraint satisfaction
Complexity of infinite-domain constraint satisfaction
Paper
図書
Manuel Bodirsky
Association for Symbolic Logic
2021
Other Libraries in Japan
Algorithmic randomness : progress and prospects
Algorithmic randomness : progress and prospects
Paper
図書
edited by Johanna N.Y. Franklin, Christopher P. Porter
Association for Symbolic Logic
2020
Other Libraries in Japan
A general algebraic semantics for sentential logics 2nd ed.
A general algebraic semantics for sentential logics 2nd ed.
Paper
図書
Josep Maria Font, Ramon Jansana
Association for Symbolic Logic
c2016
Other Libraries in Japan
Descriptive complexity, canonisation, and definable graph structure theory : hardback
Descriptive complexity, canonisation, and definable graph structure theory : hardback
Paper
図書
Martin Grohe
Association for Symbolic Logic
2017
Other Libraries in Japan
Admissible sets and structures : an approach to definability theory : hardback
Admissible sets and structures : an approach to definability theory : hardback
Paper
図書
Jon Barwise
Association for Symbolic Logic
c2016
Other Libraries in Japan
Higher recursion theory
Higher recursion theory
Paper
図書
Gerald E. Sacks
Association for Symbolic Logic : Cambridge University Press
c2016
Other Libraries in Japan
Fundamentals of stability theory
Fundamentals of stability theory
Paper
図書
John T. Baldwin
Association for Symbolic Logic : Cambridge University Press
c2016
Other Libraries in Japan
Descriptive set theory and forcing : how to prove theorems about borel sets the hard way : hardback
Descriptive set theory and forcing : how to prove theorems about borel sets the hard way : hardback
Paper
図書
Arnold W. Miller
Association for Symbolic Logic
c2016
Other Libraries in Japan
Fine structure and iteration trees hbk.
Fine structure and iteration trees hbk.
Paper
図書
William J. Mitchell, John R. Steel
Association for Symbolic Logic
c2016
Other Libraries in Japan
Model-theoretic logics
Model-theoretic logics
Paper
図書
edited by J. Barwise, S. Feferman
Association for Symbolic Logic
c2016
Other Libraries in Japan
Essential stability theory
Essential stability theory
Paper
図書
Steven Buechler
Association for Symbolic Logic : Cambridge University Press
c2016
Other Libraries in Japan
Lectures on infinitary model theory : hbk
Lectures on infinitary model theory : hbk
Paper
図書
David Marker, University of Illinois, Chicago
Association for Symbolic Logic
2016
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information
RSS