Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Rivello, Edoardo
Volume
Title
312
Revision without ordinals
Rivello, Edoardo
Online
