Back to Results
First PageMeta Content
Logic / Mathematics / Abstraction / Mathematical logic / Mathematical notation / Predicate logic / Elementary mathematics / Metalogic / Substitution / Term / Lambda calculus / Structure


From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino
Add to Reading List

Document Date: 2007-05-28 05:00:45


Open Document

File Size: 304,45 KB

Share Result on Facebook
UPDATE