Logic and computation : : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / / Wilfried Sieg, editor.
Saved in:
Superior document: | Contemporary mathematics, volume 106 |
---|---|
: | |
TeilnehmendeR: | |
Place / Publishing House: | Providence, Rhode Island : : American Mathematical Society,, [1990] 1990 |
Year of Publication: | 1990 |
Language: | English |
Series: | Contemporary mathematics (American Mathematical Society) ;
106. |
Online Access: | |
Physical Description: | 1 online resource (314 pages) :; illustrations. |
Notes: | "The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Methods and applications of mathematical logic : : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / / Walter A. Carnielli and Luiz Paulo de Alcantara, editors.
Published: ([1988]) -
Computability in context : computation and logic in the real world / / editors, S. Barry Cooper, Andrea Sorbi.
Published: (2011.) -
Proof and computations / Helmut Schwichtenberg, Stanley S. Wainer.
by: Schwichtenberg, Helmut,
Published: (2012.) -
Theory of computation / George Tourlakis.
by: Tourlakis, George J.
Published: (2012.) -
Logic and combinatorics : : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / / Stephen G. Simpson, editor.
Published: ([1987])