Vetenskap & teknik

Models, Algebras, and Proofs

Xavier Caicedo • Carlos Montenegro

Pocket

3439:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

472 sidor
1998

"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."

Författare: Xavier Caicedo, Carlos Montenegro
Format: Pocket/Paperback
ISBN: 9780824719708
Språk: Engelska
Antal sidor: 472
Utgivningsdatum: 1998-11-01
Förlag: CRC Press Inc