Bibliothèque de L'IMIST/CNRST catalogue › Détails pour : Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /

Vue normale Vue MARC vue ISBD

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /

Autres auteurs : Dalen, D. van -- (Dirk), -- 1932-

| Lascar, D. -- (Daniel), -- 1942-

| Smiley, T. J. -- (Timothy John)

| Association for Symbolic Logic.

Collection : Studies in logic and the foundations of mathematics ; . v. 108 Détails physiques : 1 online resource (x, 342 pages). ISBN :9780444864659; 0444864652; 9780080960340 (electronic bk.); 0080960340 (electronic bk.).

Sujet(s) : Logic, Symbolic and mathematical.

| logique symbolique.

| logique mathématique.

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

| PHILOSOPHY -- Logic.

| Logic, Symbolic and mathematical.

| Logica matematica.

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

| Mathematical logic | Electronic books.

Ressources en ligne :

http://www.sciencedirect.com/science/book/9780444864659

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

Papers prepared for a conference which was planned for Aug. 24-30, 1980 in Prague, but which was never held.

Includes bibliographical references.

Use copy Restrictions unspecified star MiAaHDL

Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2011. 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