En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Proof theory symposion
dedicated to Kurt Schütte on the occasion of his 65th birthday
proceedings of the international summer institute and logic colloquium
ISILC

Bookmarks Report an error
Congrès

Diller, J. (Editor) ; Muller, G. H. (Editor)

Springer-Verlag

1975

978-3-540-07533-2

00020531

03Fxx ; 03F99 ; 03D65 ; 03-06

Prawitz # Schütte # borne supérieure pour la prouvabilité de l'induction transfi # calculabilité de fonctionnelle récursive primitive de type f # complétude intuitioniste de logique du second-ordre restrein # construction combinatoire avec preuve et élimination d'inter # extension de Skolem en logique intuitioniste avec égalité # foncteur sain # fonction normale # généralisation de théorème de complétude # interprétation fonctionnelle intensionnelle de l'analyse # normalisation forte pour arithmétique # notion classique de vérité # preuve de consistance et ordinal # principe et règle de Markov pour théorie de suite de choix # procédure de type Gentzen # règle et schéma # récursion en types supérieurs # standardisation généralisée en logique combinatoire # système constructif de nombres ordinaux # terme infini # théorie libre de type non-extensionnelle des opérations part # théorème de Church-Rosser pour lambda-calcul avec termes de # variante du système des signes W(X) pour nombres ordinaux # élément réel en preuve de consistance pour théorie des types

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RDA

Language : English ; Allemand

EAN13 : 9783540075332

ISBN : 3-540-07533-X

Collation : 24 cm ; 383 p. ; Bibliogr. ; portr. ; rel.

Series : Lecture notes in mathematics

Nb in series : 0500

Location : Collection 1er étage

Notes : 2 volumes reliés ensemble L20530 et L20531

Event Year : 1974

City of congres : Kiel

Country of congres : Allemagne RDA

Conference type : Congrès

Availability : empruntable

Level of authorization : Public


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00020531


[available]
Bookmarks Report an error