× Tableau Systems for First Order Number Theory and Certain Higher Order Theoriesvon S.A. ToledoInhaltsverzeichnisFirst order number theory.Second order logic.Other higher order systems due to Schütte. Verfügbarkeit jetzt prüfen