Mathematical logic / J. Donald Monk

Auteur principal : Monk, James Donald, 1930-, AuteurType de document : Livre numériqueCollection : Graduate texts in mathematics, 37Langue : anglais.Éditeur : Berlin : Springer, 1976ISBN: 9780387901701.ISSN: 0072-5285.Sujet MSC : 03Dxx, Mathematical logic and foundations - Computability and recursion theory
03B25, General logic, Decidability of theories and sets of sentences
11U05, Connections of number theory and logic, DecidabilityEn-ligne : Numir | Springerlink | Zentralblatt | MathSciNet
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.