Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 32
Titolo Data di pubblicazione Autore(i) File
Some uses of dilators in combinatorial problems. II 1-gen-1990 Abrusci, Vito Michele
Classical conservative extensions of Lambek Calculus , The Lambek Calculus in Logic and Linguistics, 1-gen-2002 Abrusci, Vito Michele
Towards a semantics of proofs for non-commutative logic: multiplicatives and additives 1-gen-2003 Abrusci, Vito Michele
Non-commutative logic: A survey 1-gen-2003 Abrusci, Vito Michele
Presentazione del volume "Scritti brevi sulla storia dell'arte e sulla conservazione" di B. Toscano, Firenze 2006 1-gen-2007 Casale, Vittorio; Fabiani, Guido; Sapori, Giovanna; Abrusci, Vito Michele
Universal and Particular Contradiction in Human Reasoning 1-gen-2009 Medaglia, MARIA TERESA; Tecchio, F; Seri, S; Di Lorenzo, G; Abrusci, Vm; Casadio, Claudia; Rossini, Pm; Porcaro, C
Geometria nella logica: le dimostrazioni 1-gen-2011 Abrusci, Vito Michele
Ontologies and Coherence Spaces 1-gen-2011 Abrusci, Vito Michele; Romano, Marco; Fouqueré, C.
Logica . Seconda Edizione 1-gen-2012 Abrusci, Vito Michele
Osservazioni sulla filosofia della logica, alla luce della ricerca avviata con la logica lineare 1-gen-2012 Abrusci, Vito Michele
Universal vs. particular reasoning: a study with neuroimaging techniques 1-gen-2013 Abrusci, Vito Michele; Casadio, Claudia; Teresa Medaglia, M.; Porcaro, Camillo
On Hilbert's Axiomatics of Propositional Logic 1-gen-2014 Abrusci, Vito Michele
Dedekind, Hilbert, Goedel: the Comparison between Logical Sentences and Arithmetical Sentences 1-gen-2014 Abrusci, Vito Michele
On Transcendental Syntax: a Kantian Program for Logic? 1-gen-2014 Abrusci, Vito Michele; Pistone, Paolo
Sull'antinomia del mentitore. Un'analisi e alcune considerazioni 1-gen-2014 Abrusci, Vito Michele
Logica Volume 1- Dimostrazioni e modelli al primo ordine 1-gen-2014 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
On Residuation 1-gen-2014 Abrusci, Vito Michele
Formal Ontologies and Coherent Spaces 1-gen-2014 Abrusci, Vito Michele; Ch, Fouquere; Romano, Marco
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing 1-gen-2015 Abrusci, Vito Michele; Maieli, Roberto
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing 1-gen-2016 Abrusci, Vito Michele; Maieli, Roberto
Mostrati risultati da 1 a 20 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