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