Vollständige Systeme modaler und intuitionistischer Logik

Enregistré dans:
Détails bibliographiques
Auteur principal : Schütte Kurt (Auteur)
Format : Livre
Langue : allemand
Titre complet : Vollständige Systeme modaler und intuitionistischer Logik / Kurt Schütte
Publié : Berlin [etc.] : Springer-Verlag , 1968
Description matérielle : 1 vol. (VI-87 p.)
Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete Neue Folge hrsg. von L.V. Ahlfors... [et al.] ; 42
Titre de l'ensemble : Ergebnisse der Mathematik und ihrer Grenzgebiete vol. Band 42
Sujets :
LEADER 01739cam a2200517 4500
001 PPN005688981
003 http://www.sudoc.fr/005688981
005 20190627113600.0
010 |a 0-387-04098-6 
010 |a 3-540-04098-6 
020 |a US  |b 6727565 
035 |a (OCoLC)468123072 
035 |a ocm00323163 
035 |a sib0096050 
100 |a 19880415d1968 k y0frey0103 ba 
101 0 |a ger 
102 |a DE 
105 |a y z 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 rdacarrier 
200 1 |a Vollständige Systeme modaler und intuitionistischer Logik  |f Kurt Schütte 
210 |a Berlin [etc.]  |c Springer-Verlag  |d 1968 
215 |a 1 vol. (VI-87 p.)  |d 24 cm 
225 1 |a Ergebnisse der Mathematik und ihrer Grenzgebiete  |v Band 42 
320 |a Bibliogr. p. 85. Index 
410 | |0 013332511  |t Ergebnisse der Mathematik und ihrer Grenzgebiete  |b Texte imprimé  |i Neue Folge  |f hrsg. von L.V. Ahlfors... [et al.]  |c Berlin  |n Springer  |d 1955-1983  |v 42 
606 |3 PPN027221776  |a Calcul des prédicats  |2 rameau 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
676 |a 510/.01 
680 |a QA9  |b .S3793 
686 |a 03-XX  |2 msc 
700 1 |3 PPN032336837  |a Schütte  |b Kurt  |f 1909-....  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b Abes  |c 20190524  |g AFNOR 
915 |5 441092208:639682456  |b 4481 
930 |5 441092208:639682456  |b 441092208  |a 03C23  |j u 
979 |a CCFA 
991 |5 441092208:639682456  |a exemplaire créé automatiquement par l'ABES 
997 |a CCFA  |b 4481  |d CMB  |e BAP  |s d  |c 03C23 
998 |a 841334