✦ LIBER ✦

N.G. de Bruijn’s contribution to the formalization of mathematics

✍ Scribed by Geuvers, Herman; Nederpelt, Rob

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Refinement of de Bruijn's Formal Langu

✍ Fairouz Kamareddine; Rob Nederpelt 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 382 KB

Preface: Mechanizing and Automating Math

✍ Fairouz Kamareddine 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 48 KB

The combinatorics of N.G. de Bruijn

✍ Kloks, Ton; Tijdeman, Rob 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 514 KB

Quasicrystals—The impact of N.G. de Brui

✍ Au-Yang, Helen; Perk, Jacques H.H. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 837 KB

N.G. de Bruijn (1918–2012) and his Road

✍ Francien Dechesne, Rob Nederpelt 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 696 KB

A Contribution to the Mathematical Theor

✍ Review by: Pawel Szeptycki 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 188 KB