Modèle cohérent des réseaux de preuve (Französisch)
- Neue Suche nach: Duquesne, Eric
- Neue Suche nach: Van de Wiele, Jacques
- Neue Suche nach: Duquesne, Eric
- Neue Suche nach: Van de Wiele, Jacques
In:
Archive for Mathematical Logic
;
33
, 2
; 131-158
;
1994
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Modèle cohérent des réseaux de preuve
-
Beteiligte:Duquesne, Eric ( Autor:in ) / Van de Wiele, Jacques ( Autor:in )
-
Erschienen in:Archive for Mathematical Logic ; 33, 2 ; 131-158
-
Verlag:
- Neue Suche nach: Springer-Verlag
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:1994
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Französisch
- Neue Suche nach: 54.10 / 08.33 / 31.10
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 33, Ausgabe 2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 81
-
Infinitary Jónsson functions and elementary embeddingsShioya, Masahiro et al. | 1994
- 87
-
The translation theoremCholak, Peter et al. | 1994
- 109
-
There is no plus-capping degreeDowney, Rodney G. / Lempp, Steffen et al. | 1994
- 121
-
Recursive and r.e. quotient Boolean algebrasThurber, John J. et al. | 1994
- 131
-
Modèle cohérent des réseaux de preuveDuquesne, Eric / Wiele, Jacques et al. | 1994
- 159
-
A note on sharply bounded arithmeticJohannsen, Jan et al. | 1994
- 167
-
ErratumShelah, Saharon / Steprāns, Juris et al. | 1994