Skip to Main Content (Press Enter)
×
Home
Pubblicazioni
Progetti
Persone
Competenze
Settori
Strutture
Terza Missione
IT
EN
☰
UNI-FIND
|
UNI-FIND
unito.it
IT
EN
×
Home
Pubblicazioni
Progetti
Persone
Competenze
Settori
Strutture
Terza Missione
☰
Pubblicazioni
ANNALS OF PURE AND APPLIED LOGIC
Rivista
Codice:
E009468
ISSN:
0168-0072
Dati Generali
Dati Generali
Pubblicazioni (26)
Pulisci
Ordina Pubblicazioni:
ascendente
decrescente
A dichotomy result for a pointwise summable sequence of operators
Articolo
A sequent calculus for limit computable mathematics
Articolo
An intuitionistic version of Ramsey Theorem and its use in Program Termination
Articolo
Beyond Borel-amenability: scales and superamenable reducibilities
Articolo
Beyond abstract elementary classes: On the model theory of geometric lattices
Articolo
Boolean valued semantics for infinitary logics
Articolo
Causal modeling semantics for counterfactuals with disjunctive antecedents
Articolo
Combining Type Disciplines
Articolo
Comparing Cubes of Typed and Type Assignment systems
Articolo
Computable Scott sentences and the weak Whitehead problem for finitely presented groups
Articolo
Equivalence between Wadge and Lipschitz determinacy
Articolo
First-order model theory of free projective planes
Articolo
Forcing absoluteness and regularity properties
Articolo
Games with 1-backtracking
Articolo
Guessing models and generalized Laver diamond
Articolo
How to win some simple iteration games
Articolo
Krivine's intuitionistic proof of Classical Completeness
Articolo
Large cardinals and iteration trees of height $\omega$
Articolo
More on Wadge Determinacy
Articolo
On intermediate inquisitive and dependence logics: An algebraic study
Articolo
Piecewise convex embeddability on linear orders
Articolo
Polish metric spaces with fixed distance set
Articolo
Preface
Curatela
Preface
Curatela
Some intuitionistic equivalents of classical principles for degree 2 formulas
Articolo
The descriptive set-theoretical complexity of the embeddability relation on models of large size
Articolo
No Results Found
«
‹
{pageNumber}
›
»
{startItem} - {endItem} di {itemsNumber}
5 per pagina
10 per pagina
30 per pagina
vedi tutti
