Gentzen's proof systems: byproducts in a work of genius.

Published in: Bull. Symb. Log. (2012)

Keyphrases

management system
complex systems
case study
computing systems
databases
search algorithm
digital libraries
intelligent systems
computer systems
knowledge based systems
fixed point