Bibliothèque de L'IMIST/CNRST catalogue › Détails pour : Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /

Autres auteurs : Ebbinghaus, Heinz-Dieter, -- 1939-

Collection : Studies in logic and the foundations of mathematics ; . v. 129 Détails physiques : 1 online resource (x, 375 pages) ISBN :9780444880222; 0444880224; 9781435686991 (electronic bk.); 1435686993 (electronic bk.).

Sujet(s) : Logic, Symbolic and mathematical -- Congresses.

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

| Electronic books.

| Conference proceedings.

| Logic, Symbolic and mathematical.

| MATHEMATICS -- Infinity.

| MATHEMATICS -- Logic.

| Kongreß.

| Mathematische Logik.

| Granada (1987)

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/9780444880222

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

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.

Includes bibliographical references.

Description based on print version record.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL

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

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

Il n'y a pas de commentaire pour ce document.

pour proposer un commentaire.