[FOM] illative logic

Arnold Neumaier Arnold.Neumaier at univie.ac.at
Mon Mar 26 08:39:47 EDT 2012


What is the origin of the term ''illative'' in illative combinatory 
logic? What does it mean?


More information about the FOM mailing list