Merkliste 
 1 Ergebnisse 
 
1

PURE INDUCTIVE LOGIC WITH FUNCTIONS:

HOWARTH, ELIZABETH ; PARIS, JEFFREY B.
The Journal of Symbolic Logic.  84 (2019)  4 - p. 1382-1402 , 2019