Metodi di decisione per la logica intuizionista e la logica di Jankov