m
     
Congrès

H 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

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

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

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais ; Allemand

EAN13 : 9783540075332

ISBN : 3-540-07533-X

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

Collection : Lecture notes in mathematics

N° de collection : 0500

Localisation : Collection 1er étage

Notes : 2 volumes reliés ensemble L20530 et L20531

Année de la rencontre : 1974

Ville du congrès : Kiel

Pays du congrès : Allemagne RDA

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00020531

[disponible]
Z