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
1960s
(3)
1970s
(4)
1980s
(2)
1990s
(18)
2000s
(5)
2010s
(3)
2020s
(1)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(36)
Periodicals
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
Maps
Musical Scores
Web sites
Online Publications
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
Paper
(36)
Microform
Recording Media
Deselect all
Subject
Link to Help Page
Close field
Refiners
Refiners
Search results 36
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
Fragments of first-order logic
Fragments of first-order logic
Paper
図書
Ian Pratt-Hartmann
Oxford University Press
c2023
Other Libraries in Japan
Dependence logic : theory and applications
Dependence logic : theory and applications
Paper
図書
Samson Abramsky ... [et al.], editors
Birkhäuser
c2016
Other Libraries in Japan
Independence-friendly logic : a game-theoretic approach : pbk
Independence-friendly logic : a game-theoretic approach : pbk
Paper
図書
Allen L. Mann, Gabriel Sandu, Merlijn Sevenster
Cambridge University Press
2011
Other Libraries in Japan
Simple theories and hyperimaginaries
Simple theories and hyperimaginaries
Paper
図書
Enrique Casanovas
Association for Symbolic Logic
2011
Other Libraries in Japan
Dependence logic : a new approach to independence friendly logic : hardback : pbk
Dependence logic : a new approach to independence friendly logic : hardback : pbk
Paper
図書
Jouko Väänänen
Cambridge University Press
2007
Other Libraries in Japan
Tarski's world :pbk. : alk. paper Rev. and expanded
Tarski's world :pbk. : alk. paper Rev. and expanded
Paper
図書
by Dave Barker-Plummer, Jon Barwise, John Etchemendy ; in collaboration with Albert Liu
CSLI Publications
c2008
Other Libraries in Japan
Semigroups underlying first-order logic
Semigroups underlying first-order logic
Paper
図書
William Craig
American Mathematical Society
c2006
Other Libraries in Japan
First-order logic : an introduction pbk. : alk. paper
First-order logic : an introduction pbk. : alk. paper
Paper
図書
Leigh S. Cauman
Walter de Gruyter
1998
Other Libraries in Japan
Formal logic : its scope and limits : cloth 4th ed. / edited with a new supplement by John P. Burgess
Formal logic : its scope and limits : cloth 4th ed. / edited with a new supplement by John P. Burgess
Paper
図書
Richard Jeffrey
Hackett Pub.
c2006
Other Libraries in Japan
The principles of mathematics revisited : pbk
The principles of mathematics revisited : pbk
Paper
図書
Jaakko Hintikka
Cambridge University Press
1998, c1996
Other Libraries in Japan
Extensions of first order logic : hardback
Extensions of first order logic : hardback
Paper
図書
[by] María Manzano
Cambridge University Press
1996
Other Libraries in Japan
Henkin-Keisler models
Henkin-Keisler models
Paper
図書
by George Weaver
Kluwer Academic
c1997
Other Libraries in Japan
Formal logic : its scope and limits 3rd ed
Formal logic : its scope and limits 3rd ed
Paper
図書
Richard Jeffrey
Hackett
[2004]
Other Libraries in Japan
First-order logic : pbk
First-order logic : pbk
Paper
図書
Raymond M. Smullyan
Dover
c1995
Other Libraries in Japan
The principles of mathematics revisited
The principles of mathematics revisited
Paper
図書
Jaakko Hintikka
Cambridge University Press
1996
Other Libraries in Japan
Combinatorial number theory : a treatise on growth, based on the Goodstein-Skolem hierarchy, including a critique of non-constructive or first order logic
Combinatorial number theory : a treatise on growth, based on the Goodstein-Skolem hierarchy, including a critique of non-constructive or first order logic
Paper
図書
Muhammad Ali McBeth
E. Mellen Press
c1994
Other Libraries in Japan
A philosophical companion to first-order logic : pbk. : alk. paper
A philosophical companion to first-order logic : pbk. : alk. paper
Paper
図書
edited, with an overview, by R.I.G. Hughes
Hackett Pub. Co.
c1993
Other Libraries in Japan
Duality and definability in first order logic
Duality and definability in first order logic
Paper
図書
Michael Makkai
American Mathematical Society
1993
Other Libraries in Japan
Formal logic : its scope and limits 3rd ed
Formal logic : its scope and limits 3rd ed
Paper
図書
Richard Jeffrey
McGraw-Hill
c1991
Other Libraries in Japan
The language of first-order logic : including the Macintosh version of Tarski's world 4.0 3rd ed., rev. and expanded
The language of first-order logic : including the Macintosh version of Tarski's world 4.0 3rd ed., rev. and expanded
Paper
図書
Jon Barwise & John Etchemendy
Center for the Study of Language and Information
c1993
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information