%0 Generic
%T Lecture Notes in Computer Science: A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus
%A Avron, Arnon
%I Springer Berlin Heidelberg
%@ 1611-3349
%@ 0302-9743
%D 2000
%C Springer Berlin Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation