Resolution, inverse method and the sequent calculus
autor
Tammet, Tanel
vastutusandmed
Tanel Tammet
allikas
Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97 : Vienna, Austria, August 25-29, 1997 : proceedings
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
1997
leheküljed
p. 65-83
leitav
https://link.springer.com/content/pdf/10.1007/3-540-63385-5_33.pdf
märksõna
pöördülesanded
matemaatiline analüüs
matemaatiline loogika
intuitsionistlik loogika
formaalne loogika
ISBN
3-540-63385-5
märkused
(Lecture notes in computer science ; 1289). - Bibliogr.: 15 ref
keel
inglise