Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Freek Wiedijk

Formalizing Arrow’s theorem

scholarly article by Freek Wiedijk published in 2009

Preface

The challenge of computer mathematics

scientific article by H. Barendregt and F. Wiedijk published in 2005

Paulina is supported by:

About Paulina

Help