Computability and Logic
Auteur : George Boolos, Richard C. Jeffrey
Date de publication : 1974-07-18
Éditeur : CUP Archive
Nombre de pages : 262
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : George Boolos, Richard C. Jeffrey
Date de publication : 1974-07-18
Éditeur : CUP Archive
Nombre de pages : 262
Aucun résumé disponible pour ce livre.