Gentzen Calculi for the Existence Predicate
Matthias Baaz, Rosalie IemhoffVolume:
82
Language:
english
Pages:
17
Journal:
Studia Logica
DOI:
10.1007/s11225-006-6603-6
Date:
February, 2006
File:
PDF, 270 KB
english, 2006