H Non-classical logics, model theory, and computability
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 16104 | 1024759 | PROC 03-XX NON |
ISBN10 : 0-7204-0752-4
Type de doc : C
Ville d'édition : Amsterdam
Langue ouvrage : eng
Collection : Studies in logic and the foundations of mathematics
N° dans la collection : 089
ISSN Collection : 0049-237X
Class. Math. 1991 : 02C99 ; 02H25 ; 03-XX
Nom congres : Latin-american symposium on mathematical logic
Numéro congres : 3
Ville du congrès : Campinas
Pays congres : br
Année du congres : 1976
Lien SUDOC : https://www.sudoc.fr/004870921