Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil - Brossura
Sinossi
The 16 selected papers have been revised and updated for publication. They report recent research and findings in logic, philosophical logic, and connections between logic and computer science, with a heavy emphasis on work in Brazil and elsewhere in Latin America. The topics include the mathematical structure of logical syntax, a tableau calculus for Dummett predicate logic, and a modal framework for consequential implications and the factor law. The volume is not indexed. Annotation c. Book News, Inc., Portland, OR (booknews.com)
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Advances in Contemporary Logic and Computer Science:...
Foto dell'editore
Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil (Contemporary Mathematics)
Editore:
Amer Mathematical Society, 1999
ISBN 10: 0821813641
ISBN 13: 9780821813645
Antico o usato
Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Codice articolo OTV.0821813641.G
Compra usato
EUR 58,91
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili