Merkliste 
 1 Ergebnisse 
 
1

On the dependent product in toposes:

Caramello, Olivia ; Zanfa, Riccardo
Mathematical Logic Quarterly.  67 (2021)  3 - p. 282-294 , 2021