Jump to main content

yr 〜
yr

Search results 37

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 Press1995.<MA41-A97>
National Diet LibraryOther 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 Forumc2012
Other Libraries in Japan

Gentzen calculi for modal propositional logic

Gentzen calculi for modal propositional logic
Paper図書
Francesca PoggiolesiSpringerc2011
Other Libraries in Japan

Completeness theory for propositional logics : pbk.

Completeness theory for propositional logics : pbk.
Paper図書
Witold A. Pogorzelski, Piotr WojtylakBirkhäuserc2008
Other Libraries in Japan

Improving proof search in intuitionistic propositional logic : pbk

Improving proof search in intuitionistic propositional logic : pbk
Paper図書
von Klaus WeichLogos Verlag, c20012001
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. LycanPrentice Hallc2000
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 ZawadowskiKluwer Academicc2002
Other Libraries in Japan

Propositional logic : deduction and algorithms

Propositional logic : deduction and algorithms
Paper図書
Hans Kleine Büning, Theodor LettmanCambridge University Press1999
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. LycanPrentice Hallc1998
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-10Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-99-0030p.1-12
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 Press1995
Other Libraries in Japan

Bounded arithmetic, propositional logic, and complexity theory

Bounded arithmetic, propositional logic, and complexity theory
Paper図書
Jan KrajíčekCambridge University Press1995
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 Publishersc1990
Other Libraries in Japan

Propositional logic

Propositional logic
Paper図書
Prentice-Hall[1974]
Other Libraries in Japan

Introduction to logic : propositional logic pbk 2nd. ed

Introduction to logic : propositional logic pbk 2nd. ed
Paper図書
Howard PospeselPrentice-Hallc1984
Other Libraries in Japan
  • Note (General)Rev. ed. of: Propositional logic. 1974 Includes index
  • Alternative TitlePropositional logic
  • Alternative TitlePropositional logic

Bounds for cut elimination in intuitionistic propositional logic

Bounds for cut elimination in intuitionistic propositional logic
Paper図書
vorgelegt von Jörg HudelmaierEberhard-Karls-Universität zu Tübingen1989
Other Libraries in Japan

The propositional logic of Boethius

The propositional logic of Boethius
Paper図書
Karl DürrGreenwood Press1980
Other Libraries in Japan

Super-Łukasiewicz propositional logics = 超ウカシュヴィッツ命題論理

Super-Łukasiewicz propositional logics = 超ウカシュヴィッツ命題論理
Paper図書
Yuichi Komori東京大学数理科学研究科1981
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 ShehabyReidel[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. ParisMouton1975
Other Libraries in Japan
RSS