Em A Lógica da Arquitetura, Mitchell se propõe a estabelecer uma nova fundamentação teórica e crítica para a arquitetura, baseada em conceitos provenientes das ciências cognitivas, da inteligência artificial e da lógica contemporânea. O livro estabelece as bases teóricas do computational design, com o objetivo de lastrear o desenvolvimento de uma nova geração de programas de computador destinados a auxiliar mais efetivamente o arquiteto. O livro aborda os seguintes assuntos: representação; linguagens críticas; raciocínio projetual; vocabulários arquitetônicos; transformações geométricas; parametrização; gramática da forma; tipologias arquitetônicas; relação forma/função; geração de alternativas; evolução funcional; ambigüidade e emergência.