Sets and proofs : invited papers from Logic Colloquim '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Saved in:
| Corporate Authors: | Logic Colloguium Leeds, England, Association for Symbolic Logic |
|---|---|
| Other Authors: | Cooper, S. B. (S. Barry) (Editor), Truss, J. K. (Editor) |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cambbridge ; New York :
Cambridge University Press,
1999.
|
| Series: | London Mathematical Society lecture note series ;
258 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Proofs and fundamentals :
by: Bloch, Ethan D. 1956-
Published: (2000) -
Proof theory of modal logic
Published: (1996) -
Charming proofs :
by: Alsina, Claudi
Published: (2010) -
Proof theory :
by: Pohlers, Wolfram
Published: (1989) -
Proof theory
by: Takeuti, Gaisi 1926-
Published: (2013)