•  Retrait en 2 heures
  •  Assortiment impressionnant
  •  Paiement sécurisé
  •  Toujours un magasin près de chez vous
  •  Retrait gratuit dans votre magasin Club
  •  7.000.0000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous
  1. Accueil
  2. Livres
  3. Sciences humaines
  4. Sciences
  5. Mathématiques
  6. Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

S.C. Kleene
25,95 €
+ 51 points
Livraison 1 à 2 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

This monograph carries out the program which the author formulated in earlier work, the formalization of the theory of recursive functions of type 0 and 1 and of the theory of realizability.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
106
Collection :

Caractéristiques

EAN:
9780821812891
Date de parution :
30-12-69
Format:
Livre broché
Librairie Club

Seulement chez Librairie Club

+ 51 points sur votre carte client de Librairie Club
PROMOTION

2+1 OFFERT

sur une sélection de mangas
PROMOTION
2 plus 1 offert manga
INSPIRATION

Idées cadeaux pour la fin d'année

Dans notre sélection vous trouverez le cadeau pour faire briller les yeux de vos proches.
INSPIRATION
Fin d'année 2025
Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.