Bibliothèque de L'IMIST/CNRST catalogue › Détails pour : Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /

Vue normale Vue MARC vue ISBD

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /

Autres auteurs : Paris, J. B. -- (Jeff B.)

| Wilkie, A. J. -- (Alec J.)

| Wilmers, G. M.

Collection : Studies in logic and foundations of mathematics ; . v. 120 Détails physiques : 1 online resource (x, 377 pages) : illustrations. ISBN :9780080960432 (electronic bk.); 008096043X (electronic bk.); 9780444879998 (electronic bk.); 0444879994 (electronic bk.).

Sujet(s) : Logic, Symbolic and mathematical.

| Logique symbolique et mathématique -- Congrès.

| Logic, Symbolic and mathematical.

| MATHEMATICS / General

| Mathematical logic | Electronic books.

Ressources en ligne :

Tags de cette bibliothèque : Pas de tags pour ce titre. Connectez-vous pour ajouter des tags.

Exemplaires ( 0 )
Notes
Commentaires ( 0 )

Exemplaires : http://www.sciencedirect.com/science/book/9780444879998

Exemplaires : http://www.sciencedirect.com/science/publication?issn=0049237X&volume=120

This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.

Includes bibliographical references.

Includes one chapter in French.

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL