Search results 243
Paper図書
National Diet Library
- Summary, etc....alysis, and to proof theory. It mainly focuses on ordinal ...
- Subject HeadingProof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. Proof theory.
Paper図書
National Diet LibraryOther Libraries in Japan
- ContentsPart I: Proof Theory. Sequent systems Cut eliminati...
Paper図書
National Diet Library
- Subject HeadingProof theory. MATHEMATICS / Logic.
Paper図書
National Diet Library
- Subject HeadingProof theory. Computational linguistics. El...
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingProof theory. Logic, Symbolic and mathemati...
Paper図書
Other Libraries in Japan
Paper図書
Other Libraries in Japan
PaperRecording MediaDigital図書障害者向け資料あり
National Diet LibraryOther Libraries in Japan
Paper図書
Other Libraries in Japan
Paper図書
National Diet Library
- Subject HeadingGödel, Kurt. Proof theory.