CIRM - Videos & books Library - Eléments de logique mathématique :<br>théorie des modèles

Ouvrage

Authors : Kreisel, G. (Principal) ; Krivine, J. L. (Co-auteur)

Publisher : Dunod

Publication Date : 1967

Page nbr/n° : 212 p.

Call n° : 00000308

MSC Codes : 00A07 ; 03-01

calcul des prédicats # calcul propositionnel # exercice # logique mathématique # modèle

Publisher City : Paris

Publisher country : France

Language : French

Collation : viii#25 cm#rel.

Series : Monographies de la Société Mathématique de France

Nb in series : 0003

Location : Ouvrage RdC (KREI)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Number of copies : 1

No.	Call n°	Bar code	Commentary
1		00000308	[available]