Computational Logic and Proof Theory : Third Kurt Godel Colloquium, KGC'93, Brno Czech Republic, August 1993, Proceedings. Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 1993
- Brossura
- Usato

Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Venditore con 5 stelle
Venditore AbeBooks dal 3 agosto 2006
Non disponibile
Brossura
Condizione: Usato - Buono
EUR 38,59
Descrizione dell’articolo da parte del venditore
Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Codice articolo 2305884-6
Dati bibliografici
- Titolo
- Computational Logic and Proof Theory : Third Kurt Godel Colloquium, KGC'93, Brno Czech Republic, August 1993, Proceedings
- Autore
- Gottlob, Georg; Leitsch, Alexander
- Editore
- Springer
- Anno di pubblicazione
- 1993
- Condizione
- Good
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 0387571841
- ISBN 13
- 9780387571843
- Peso dell'articolo
- 1,1 libbre
- Dimensioni
- N/A