A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory, computability theory, and philosophy.
"Sinopsis" puede pertenecer a otra edición de este libro.
Jan Van Eijck, Vincent Van Oostrom, Albert Visser
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Carothers and Carothers, Albany, CA, Estados Unidos de America
Hardcover. Condición: As New. viii, 208 p. Series: Lecture notes in logic ; 17. Boards and backstrip bright, corners sharp; contents as new. 420 grams. Nº de ref. del artículo: 002132
Cantidad disponible: 1 disponibles
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Condición: Very Good. some shelf wear but the content excellent throughout. Nº de ref. del artículo: 126442-1
Cantidad disponible: 1 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 1835902-n
Cantidad disponible: 1 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 1835902
Cantidad disponible: 1 disponibles