Andreas BlassBooksFields of Logic and Computation IIIFields of Logic and Computation IIFields of Logic and ComputationAuthor data: Open Library
