Search results 918
Paper図書
National Diet Library
- Subject HeadingStrategy-Proofness / Social Choice Function ...
Paper図書
National Diet Library
- Summary, etc....alysis, and to proof theory. It mai......earch topic in proof theory that is......c materials in proof theory of firs......esults and new proofs of known ones. Primarily int...
- Subject HeadingProof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. Proof theory.
Paper図書
National Diet LibraryOther Libraries in Japan
- ContentsPart I: Proof Theory. Sequen......equent systems Proof-theoretic analysis of logical...
- Subject HeadingProof theory Algebraic logic
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingForeign law, Pleading and proof of--Asia Confl......, Pleading and proof of Asia
Paper図書
National Diet Library
- ContentsAn armchair proof of the existence of God "Foll...
- Subject HeadingGod -- Proof. God -- Proof, Cosmological. God -- Proof, Teleological. Intelligent de...
Paper図書
National Diet Library
- Summary, etc....n Gentzen-type proof theory, the bo......pplications of proof theory to logic as well as ot...
- Subject HeadingProof theory. MATHEMATICS / Logic.
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority(Subject Heading/altLabel)論証 (数学) Proof theory
- Note (General)原タイトル: How to Read and Do Proofs 原著第6版の抄訳
- Additional TitleHow to Read and Do Proofs
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority(Subject Heading/altLabel)論証 (数学) Proof theory
- Note (General)原タイトル: Proofs from THE BOOK 原著第6版の翻訳
- Additional TitleProofs from THE BOOK
Paper図書
National Diet Library
- Contents...he standard of proof in cases of di...... the burden of proof in cases of discriminatory vi...
- Subject Heading...ope. Burden of proof--Europe. European Court of Hu...
Paper図書
National Diet Library
- Subject HeadingProof theory. Computational linguis...
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority(Subject Heading/altLabel)論証 (数学) Proof theory
- Alternative TitleThe Practice of Proof Writing
- Alternative TitleThe Practice of Proof Writing
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents...nt since prior Proof-theory of prop......s Why does the proof-theory of hybr......hybrid-logical proof-theory behaves so well ; Comp...
- Subject HeadingProof theory. Logic, Symbolic and m...
Paper図書
National Diet Library
- Subject HeadingBurden of proof--Malaysia. Evi......sia. Burden of proof. Civil procedure. Evidence (L...
- Alternative TitleCivil proceedings : burden and standard of proof
- Alternative TitleCivil proceedings : burden and standard of proof
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority(Subject Heading/altLabel)論証 (数学) Proof theory
- Note (General)原タイトル: 99 VARIATIONS ON A PROOF
- Additional Title99 VARIATIONS ON A PROOF
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject Heading...--Fiction God--Proof--Fiction College teachers--Fi...
Paper図書
National Diet Library
- Summary, etc.Burden of proof in bankruptcy cases based on ...
- Subject HeadingBankruptcy--Indonesia. Burden of proof--Indonesia.
Paper図書
National Diet Library
- Subject Heading..., Pleading and proof of. Conflict of laws--Jurisdi...
PaperRecording MediaDigital図書障害者向け資料あり
National Diet LibraryOther Libraries in Japan
- Authority(Subject Heading/altLabel)論証 (数学) Proof theory
Paper図書
National Diet Library
- Summary, etc.Shifting of burden of proof in corruption cases of state ...
- Subject HeadingPolitical corruption--Indonesia. Burden of proof--Indonesia.
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority(Subject Heading/altLabel)論証 (数学) Proof theory Modality (Logic)
- Alternative TitleProof and Truth in Mathematics
- Alternative TitleProof and Truth in Mathematics