Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Saved in:
Corporate Author: | Association for Symbolic Logic |
---|---|
Other Authors: | Eijck, J. van (Jan), Oostrom, Vincent van 1966-, Visser, Albert |
Format: | Unknown |
Published: |
Wellesley, Mass.
A K Peters
2004
|
Series: | Lecture notes in logic ;
17 |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic Colloquium '77 proceedings of the ... held August 1977
Published: (1978) -
Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang 1937-
Published: (1973) -
Mathematical logic
by: Shoenfield, Joseph R
Published: (2001) -
Logic and structure
by: Dalen, D. va 1932- Dirk
Published: (2004) -
Mathematical logic
by: Chiswell, Ian 1948-
Published: (2007)