1 \documentclass[8pt,twocolumn,a4paper]{extarticle}
3 \usepackage[margin=2cm]{geometry}
4 \usepackage[pdfborder={0 0 0},bookmarks=false,ps2pdf]{hyperref}
5 \usepackage[american]{babel}
12 \renewcommand*\ObjIncNode{\stepcounter{node}}
13 \renewcommand*\ObjNode{\arabic{node}}
15 \title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$:
16 Definitions and Statements}
18 \author{Ferruccio Guidi}