Steve Awodey – författare
Visar alla böcker från författaren Steve Awodey. Handla med fri frakt och snabb leverans.
10 produkter
Rudolf Carnap: Studies in Semantics
The Collected Works of Rudolf Carnap, Volume 7
Av Greg Frost-Arnold, Steve Awodey
E-bok, 2024
1870 kr
Lägg i varukorg
This 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 extremely influential in their time, especially the third, and shaped the direction of analytic …
Rudolf Carnap: Studies in Semantics
The Collected Works of Rudolf Carnap, Volume 7
Av Steve Awodey, Greg Frost-Arnold
Inbunden, 2024
1825 kr
Lägg i varukorg
This 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 extremely influential in their time, especially the third, and shaped the direction of analytic …
Rudolf Carnap: Studies in Semantics
The Collected Works of Rudolf Carnap, Volume 7
Av Greg Frost-Arnold, Steve Awodey
E-bok, 2024
1870 kr
Lägg i varukorg
This 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 extremely influential in their time, especially the third, and shaped the direction of analytic …
Category Theory
Av Steve Awodey
Häftad, 2010
1038 kr
Lägg i varukorg
Category 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 science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the …
Category Theory
Av Steve Awodey
Inbunden, 2010
2810 kr
Lägg i varukorg
Category 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 science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the …
Cartesian Cubical Model Categories
Av Steve Awodey
Häftad, 2026
715 kr
Lägg i varukorg
This 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 systems of univalent type theory are used to determine abstract homotopical semantics of type theory. …
Cartesian Cubical Model Categories
Av Steve Awodey
E-bok, 2026
897 kr
Lägg i varukorg
This 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 systems of univalent type theory are used to determine abstract homotopical semantics of type theory. …
Carnap Brought Home
The View from Jena
Av Carsten Klein, Steve Awodey
Inbunden, 2004
418 kr
Tillfälligt slut
Rudolf Carnap (1891-1970) is considered the pioneer of logical positivism, but his work was thought to have been repudiated. Recently he has been undergoing a reappraisal, and this book of essays by leading philosophers, logicians, and art historians attempts to return Carnap to his rightful place. …
Carnap Brought Home
The View from Jena
Av Carsten Klein, Steve Awodey
Häftad, 2004
295 kr
Tillfälligt slut
Rudolf Carnap (1891-1970) was the most important philosopher of the movement known as logical empiricism or logical positivism, still the basis of much modern analytic philosophy. It was long thought that this movement had been destroyed by the polemics of Quine, Popper, and Kuhn. But recently, …
Frege's Lectures on Logic
Carnap's Jena Notes, 1910-1914
Av Steve Awodey, Erich H. Reck
Häftad, 2004
261 kr
Tillfälligt slut
When Bertrand Russell discovered an unresolvable contradiction in Gottlob Frege’s (1848-1925) logical system, the effect was calamitous, embittering Frege and overshadowing his important work in analytical philosophy. Frege’s student, Rudolf Carnap, took detailed notes of his lectures that show how …
