Sets and proofs : invited papers from Logic Colloquim '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Αποθηκεύτηκε σε:
| Συλλογικό Έργο: | Logic Colloguium Leeds, England, Association for Symbolic Logic |
|---|---|
| Άλλοι συγγραφείς: | Cooper, S. B. (S. Barry) (Επιμελητής έκδοσης), Truss, J. K. (Επιμελητής έκδοσης) |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Cambbridge ; New York :
Cambridge University Press,
1999.
|
| Σειρά: | London Mathematical Society lecture note series ;
258 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Proofs and fundamentals :
από: Bloch, Ethan D. 1956-
Δημοσίευση: (2000) -
Proof theory of modal logic
Δημοσίευση: (1996) -
Charming proofs :
από: Alsina, Claudi
Δημοσίευση: (2010) -
Proof theory :
από: Pohlers, Wolfram
Δημοσίευση: (1989) -
Proof theory
από: Takeuti, Gaisi 1926-
Δημοσίευση: (2013)