Metadata
Author: WikiMatrix
Data
English[en]
Boolos coauthored with Richard Jeffrey the first three editions of the classic university text on mathematical logic, Computability and Logic.
Spanish[es]
Junto con Richard Jeffrey, Boolos escribieron un texto clásico universitario sobre lógica matemática, llamado Computability and Logic.