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.
Swedish[sv]
Boolos var Richard Jeffreys medförfattare för de tre första utgåvorna av den klassiska universitetstexten om matematisk logik, Computability and Logic.