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)
1950s
(1)
1960s
(1)
1970s
(5)
1980s
(4)
1990s
(8)
2000s
(4)
2010s
(4)
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
(1)
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
(1)
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(1)
Paper
(36)
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 37
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
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček. (Encyclopedia of mathematics and its applications ; v. 60)
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček. (Encyclopedia of mathematics and its applications ; v. 60)
Paper
図書
Cambridge University Press
1995.
<MA41-A97>
National Diet Library
Other Libraries in Japan
Propositional logics
3rd ed
Propositional logics 3rd ed
Paper
図書
Richard L. Epstein ; with the assistance and collaboration of Walter A. Carnielli ... [et al.]
Advanced Reasoning Forum
c2012
Other Libraries in Japan
Propositional logics
2nd ed
Propositional logics 2nd ed
Paper
図書
Richard L. Epstein ; with the assistance and collaboration of Walter A. Carnielli ... [et al.]
Oxford University Press
1995
Other Libraries in Japan
Gentzen calculi for modal propositional logic
Gentzen calculi for modal propositional logic
Paper
図書
Francesca Poggiolesi
Springer
c2011
Other Libraries in Japan
Completeness theory for
propositional logics
: pbk.
Completeness theory for propositional logics : pbk.
Paper
図書
Witold A. Pogorzelski, Piotr Wojtylak
Birkhäuser
c2008
Other Libraries in Japan
Propositional logics
Propositional logics
Paper
図書
Richard L. Epstein ; with the assistance and collaboration of Walter A. Carnielli ... [et al.]
Kluwer Academic Publishers
c1990
Other Libraries in Japan
Improving proof search in intuitionistic propositional logic : pbk
Improving proof search in intuitionistic propositional logic : pbk
Paper
図書
von Klaus Weich
Logos Verlag, c2001
2001
Other Libraries in Japan
Introduction to logic : propositional logic Rev. 3rd ed
Introduction to logic : propositional logic Rev. 3rd ed
Paper
図書
Howard Pospesel ; with an appendix on metatheory by William G. Lycan
Prentice Hall
c2000
Other Libraries in Japan
Sheaves, games, and model completions : a categorial approach to nonclassical
propositional logics
Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics
Paper
図書
Silvio Ghilardi, Marek Zawadowski
Kluwer Academic
c2002
Other Libraries in Japan
Propositional logic : deduction and algorithms
Propositional logic : deduction and algorithms
Paper
図書
Hans Kleine Büning, Theodor Lettman
Cambridge University Press
1999
Other Libraries in Japan
Introduction to logic : propositional logic :pbk. 3rd ed
Introduction to logic : propositional logic :pbk. 3rd ed
Paper
図書
Howard Pospesel ; with an appendix on metatheory by William G. Lycan
Prentice Hall
c1998
Other Libraries in Japan
Cut-free sequent calculi for Visser's
propositional logics
Cut-free sequent calculi for Visser's propositional logics
Paper
文書・図像類
Kikuchi, kentaro
北陸先端科学技術大学院大学情報科学研究科
1999-11-10
Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
IS-RR-99-0030
p.1-12
Other Libraries in Japan
Bounded arithmetic, propositional logic, and complexity theory
Bounded arithmetic, propositional logic, and complexity theory
Paper
図書
Jan Krajíček
Cambridge University Press
1995
Other Libraries in Japan
Bounds for cut elimination in intuitionistic propositional logic
Bounds for cut elimination in intuitionistic propositional logic
Paper
図書
vorgelegt von Jörg Hudelmaier
Eberhard-Karls-Universität zu Tübingen
1989
Other Libraries in Japan
Introduction to logic : propositional logic pbk 2nd. ed
Introduction to logic : propositional logic pbk 2nd. ed
Paper
図書
Howard Pospesel
Prentice-Hall
c1984
Other Libraries in Japan
The propositional logic of Boethius
The propositional logic of Boethius
Paper
図書
Karl Dürr
Greenwood Press
1980
Other Libraries in Japan
Super-Łukasiewicz
propositional logics
= 超ウカシュヴィッツ命題論理
Super-Łukasiewicz propositional logics = 超ウカシュヴィッツ命題論理
Paper
図書
Yuichi Komori
東京大学数理科学研究科
1981
Other Libraries in Japan
Propositional logic
Propositional logic
Paper
図書
Prentice-Hall
[1974]
Other Libraries in Japan
The propositional logic of Avicenna
The propositional logic of Avicenna
Paper
図書
Translated from the Arabic, with introduction, commentary and glossary by Nabil Shehaby
Reidel
[1973]
Other Libraries in Japan
Propositional logical thinking and comprehension of language connectives : a developmental analysis
Propositional logical thinking and comprehension of language connectives : a developmental analysis
Paper
図書
by Scott G. Paris
Mouton
1975
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information