Vollständige Systeme modaler und intuitionistischer Logik / Kurt Schütte

Date : 1968

Type : Livre / Book

Langue / Language : allemand / German

ISBN : 0-387-04098-6

ISBN : 3-540-04098-6

Calcul des prédicats

Logique mathématique

Classification Dewey : 510/.01

Schütte, Kurt (1909-1998) (Auteur / author)

Collection : Ergebnisse der Mathematik und Ihrer Grenzgebiete / hrsg. von L.V. Ahlfors... [et al.] / Berlin : Springer , 1955-1983