research paper

Extending constructive operational set theory by impredicative principles / A. Cantini. - In: MATHEMATICAL LOGIC QUARTERLY. - ISSN 0942-5616. - STAMPA. - 57:(2011), pp. 299-322. [10.1002/malq.201010009]

Extending constructive operational set theory by impredicative principles

CANTINI, ANDREA
2011

Abstract

research paper
2011
57
299
322
A. Cantini
1a - Articolo su rivista
File in questo prodotto:
File Dimensione Formato  
malq.cantini.pdf

Accesso chiuso

Descrizione: articolo principale
Tipologia: Pdf editoriale (Version of record)
Licenza: Tutti i diritti riservati
Dimensione 210.59 kB
Formato Adobe PDF
  Richiedi una copia
210.59 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/392780
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 4
social impact