m
     
Ouvrage

H 0 Notes on logic

Lyndon, Roger C. (Principal)

D. Van Nostrand Co. Inc.

1967

94 p.

00002420

03Gxx

logique générale # logique # calcul de prédicat # théorie de la consistance # sémantique # théorème de Loewenheimskolem # théorème de Herbrand # théorème de Gödel # théorème de Church # théorème de Tarski # nombre de Gödel # décidabilité # compacité logique # interpolation de Craig

Ville d'édition : London ; Princeton ; Toronto

Pays d'édition : États-Unis

Langue : Anglais

N° édition : reprint

Collation : 21 cm # broch. ; Bibliogr. ; Index

Collection : Van nostrand mathematical studies

N° de collection : 0006

Localisation : Ouvrage RdC (LYND)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 2
Cote Code barre Commentaire
1 00002420

[disponible]
2 00027201

[disponible]
Z