نتائج البحث

Concepts of Proof in Mathematics, Philosophy, and Computer Science

• Authors : Dieter Probst; Peter Schuster

Subjects: Logic, Symbolic and mathematical; Proof theory; MathematicsPHILOSOPHY / Epistemology; MATHEMATICS / History & Philosophy; PHILOSOPHY / Logic

تفاصيل العنوان

Computational Intention

• Authors : Turner, Raymond

تفاصيل العنوان

Cyclic Proofs for Linear Temporal Logic

• Authors : Kokkinis, Ioannis; Studer, Thomas;

Subjects: 000 Computer science; knowledge & systems; 510 Mathematics

• Source: Kokkinis, Ioannis; Studer, Thomas (2016). Cyclic Proofs for Linear Temporal Logic. In: Probst, Dieter; Schuster, Peter (eds.) Concepts of Proof in Mathematics,

تفاصيل العنوان

Frontmatter

• Source: Concepts of Proof in Mathematics, Philosophy, and Computer Science ; page I-IV

تفاصيل العنوان

Contents

• Source: Concepts of Proof in Mathematics, Philosophy, and Computer Science ; page IX-X

تفاصيل العنوان