Filter By
Books (7)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Category Theory by Steve Awodey
Booksplease Price: £69.91Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer... -
Cartesian Cubical Model Categories Steve Awodey 9783032087294
Booksplease Price: £56.12This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical... -
Rudolf Carnap: Studies in Semantics: The Collected Works of Rudolf Carnap, Volume 7 by Steve Awodey 9780192894878
RRP: £122.00Booksplease Price: £118.44This volume contains Carnap's Studies in Semantics, a series of three interlocking books: Introduction to Semantics (1942), Formalization of Logic (1942), and Meaning and Necessity (1947). They were... -
Carnap's Logical Syntax of Language by Pierre Wagner 9780230201514
RRP: £109.99Booksplease Price: £102.20This volume's aim is to provide an introduction to Carnap's book from a historical and philosophical perspective, each chapter focusing on one specific issue. The book will be of interest not only to... -
An Introduction to Category Theory by Harold Simmons 9780521283045
Booksplease Price: £41.37Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a... -
Carnap's Ideal of Explication and Naturalism by Pierre Wagner 9780230282599
Booksplease Price: £100.08The book consists of a series of chapters on Carnap's ideal of explication as an alternative to the naturalistic conceptions of science, setting it in its historical context, discussing specific... -
Introduction to Homotopy Type Theory Egbert Rijke 9781108844161
Booksplease Price: £51.51This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of...