✦ LIBER ✦

Text Structure and Proof Structure

✍ Scribed by C.F.M. Vermeulen

Book ID: 110261730
Publisher: Springer Netherlands
Year: 2000
Tongue: English
Weight: 171 KB
Volume: 9
Category: Article
ISSN: 0925-8531
DOI: 10.1023/a:1008309715242

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Undergraduate Texts in Mathematics] Int

[Undergraduate Texts in Mathematics] Introduction to Mathematical Structures and Proofs || Logic

✍ Gerstein, Larry J. 📂 Article 📅 2012 🏛 Springer New York 🌐 English ⚖ 542 KB

"...Gerstein wants-very gently-to teach his students to think. He wants to show them how to wrestle with a problem (one that is more sophisticated than "plug and chug"), how to build a solution, and ultimately he wants to teach the students to take a statement and develop a way to prove it...Gerstei

Text structuring

✍ Joan M Smith 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 447 KB

Grounding in Text Structure

✍ Khalil, Esam N. 📂 Article 📅 2002 🏛 Taylor and Francis Group 🌐 English ⚖ 211 KB

Structured calculational proof

✍ Ralph Back; Jim Grundy; Joakim von Wright 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 895 KB

Length and Structure of Proofs

✍ Rohit Parikh 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 109 KB

Proof loading and structural reliability

✍ Tzyy Shan Lin; Andrzej S. Nowak 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 454 KB