Benvenuti nell'Anagrafe della Ricerca d'Ateneo

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 32 di 32
Titolo Data di pubblicazione Autore(i) File
Les écrans et l'interaction: un défi pour la logique 1-gen-2016 Abrusci, Vito Michele
Analytic and synthetic in logic 1-gen-2016 Abrusci, Vito Michele
Quantification in ordinary language and proof theory 1-gen-2016 Abrusci, Vito Michele; Pasquali, Fabio; Retoré, Christian
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing 1-gen-2016 Abrusci, Vito Michele; Maieli, Roberto
A Geometrical Representation of the Basic Laws of Categorial Grammar 1-gen-2017 Abrusci, Vito Michele; Casadio, Claudia
HILBERT’S τ AND ε IN PROOF THEORETICAL FOUNDATIONS OF MATHEMATICS: AN INTRODUCTION 1-gen-2017 Abrusci, Vito Michele
La logica e le altre discipline 1-gen-2018 Abrusci, Vito Michele
LOGICA 1-gen-2018 Abrusci, Vito Michele
Hilbert's tau and epsilon in Proof Theory: a proof-theoretical representation of universal and existential statements 1-gen-2018 Abrusci, Vito Michele
Le direzioni della ricerca logica in Italia: la logica lineare e i suoi sviluppi 1-gen-2018 Abrusci, Vito Michele; Pistone, Paolo
Logica 1-gen-2018 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus 1-gen-2019 Maieli, Roberto; Abrusci, Vito Michele
Mostrati risultati da 21 a 32 di 32
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile