A General Formulation of Simultaneous In
β
Peter Dybjer
π
Article
π
2000
π
Association for Symbolic Logic
π
English
β 456 KB