Axiomatic set theory à la Dijkstra and Scholten

  • Ernesto Acosta
  • , Bernarda Aldana
  • , Jaime Bohórquez
  • , Camilo Rocha

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

Huella

Profundice en los temas de investigación de 'Axiomatic set theory à la Dijkstra and Scholten'. En conjunto forman una huella única.
Clasificar por

Keyphrases

Computer Science

INIS

Mathematics