Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Axiom of Choice

by Horst Herrlich.

Series: Lecture Notes in MathematicsEdition: 2006Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 2006Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Categorical Methods in Computer Science

by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß.

Series: Lecture Notes in Computer ScienceEdition: 1989Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .