1 \documentclass[8pt,twocolumn]{extarticle}
3 \usepackage[bookmarks=false,ps2pdf]{hyperref}
4 \usepackage[american]{babel}
11 \renewcommand*\ObjIncNode{\stepcounter{node}}
12 \renewcommand*\ObjNode{\arabic{node} }
14 \title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$}
16 \author{Ferruccio Guidi}