Mathematical logic / H. D. Ebbinghaus, J. Flum, W. Thomas

Auteur principal : Ebbinghaus, Heinz-Dieter, 1939-, AuteurCo-auteur : Flum, Jörg, 1944-, Auteur • Thomas, Wolfgang, 1947-, AuteurType de document : MonographieCollection : Undergraduate texts in mathematicsLangue : anglais.Pays: Etats Unis.Éditeur : New York : Springer, 1984Description : 216 p. ; 25 cmISBN: 9780387908953.ISSN: 0172-6056.Bibliographie : Bibliogr. p. 209-210. Index.Sujet MSC : 03-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B10, General logic, Classical first-order logic
03C07, Mathematical logic and foundations - Model theory, Basic properties of first-order languages and structures
En-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current library Call number Status Date due Barcode
 Monographie Monographie CMI
Salle 1
03 EBB (Browse shelf(Opens below)) Available 08359-01

Bibliogr. p. 209-210. Index

There are no comments on this title.

to post a comment.