Cote : 00020183
calcul des propositions de Lukasiewicz # classe de fonction récursive # fragment monadique de calcul des prédicats # logique symbolique # morphologie demi-anneau # oméga-règle # partition et modèle # quantificateur de Chang # schéma de compréhension Pi indice 1 puissance 1 # théorie de la preuve # théorie non catégorique # ultrafiltre hyperarithmétique # équivalence récursive
03-06 ; 03B05 ; 03D20 ; 03D50 ; 03F03
Localisation : Collection 1er étage