Moerdijk, Ieke.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Sets, Models and Proofs by: van Oosten, Jaap.; SpringerLink (Online service); Moerdijk, Ieke. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Sets, models and proofs by: Oosten, Jaap van.; SpringerLink (Online service); Moerdijk, Ieke. (Language materials, printed)

Simplicial and Dendroidal Homotopy Theory by: SpringerLink (Online service); Moerdijk, Ieke.; Heuts, Gijs. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Subjects

Proof theory. Algebraic topology. Structures and Proofs. Algebraic Topology. Category Theory, Homological Algebra. Logic, Symbolic and mathematical. Algebra. Algebra, Homological.