Choice in a Theory of sets and classes

Date Issued

2010

Publication Type

Book Section

Subject(s)

000 Computer science, knowledge & systems

500 Science > 510 Mathematics

Language(s)

en

Author(s)

Jäger, Gerhard Max	Institut für Informatik (INF)
Krähenbühl, Jürg	Institut für Informatik und angewandte Mathematik (IAM)

Editor(s)

Schindler, Ralf

Additional Credits

Institut für Informatik (INF)

Publisher

Ontos

Book Title

Ways of Proof Theory

Access(Rights)

metadata.only