Resolution, inverse method and the sequent calculus
author
Tammet, Tanel
statement of authorship
Tanel Tammet
source
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97 : Vienna, Austria, August 25-29, 1997 : proceedings
location of publication
Berlin
publisher
Springer
year of publication
1997
pages
p. 65-83
url
https://link.springer.com/content/pdf/10.1007/3-540-63385-5_33.pdf
subject term
pöördülesanded
matemaatiline analüüs
matemaatiline loogika
intuitsionistlik loogika
formaalne loogika
ISBN
3-540-63385-5
notes
(Lecture notes in computer science ; 1289). - Bibliogr.: 15 ref
language
inglise