m
     
MathOuvrage

H 0 Formal methods

Beth, Evert W.

D. Reidel publishing company

1962

xiv, 170

12019

logique symbolique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 12019 1005542 GALERIE

Sous-titre : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

Type de doc : M

Ville d'édition : Dordrecht

Langue ouvrage : eng

Collection : Synthese library

ISSN Collection : 0166-6991

Class. Math. 1991 : 02-01 ; 02-02 ; 02Bxx ; 02Gxx ; 02Hxx

Lien SUDOC : https://www.sudoc.fr/014937395

Z