Models, Algebras, and Proofs: selected papers of the X Latin American symposium on mathematical logic held in Bogotį: 203 - Brossura

Libro 134 di 138: Lecture Notes in Pure and Applied Mathematics
 
9780824719708: Models, Algebras, and Proofs: selected papers of the X Latin American symposium on mathematical logic held in Bogotį: 203
Brossura
ISBN 10: 0824719700 ISBN 13: 9780824719708
Casa editrice: CRC Press, 1998

Sinossi

"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide."

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

Xavier Caicedo, Carlos Montenegro

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
CRC Press
Data di pubblicazione
1998
Lingua
Inglese
ISBN 10 
0824719700
ISBN 13 
9780824719708
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
472
Redattore
Caicedo Xavier, Montenegro Carlos H.
Contatto del produttore
non disponibile
Persona responsabile
Logos Europe
contact@logoseurope.eu

Rue Nicolas Possin 9
La Rochelle
17000
Francia