ABRUSCI, Vito Michele

ABRUSCI, Vito Michele  

Dipartimento di Matematica e Fisica  

Mostra records
Risultati 1 - 20 di 32 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) File
Analytic and synthetic in logic 1-gen-2016 Abrusci, Vito Michele
Classical conservative extensions of Lambek Calculus , The Lambek Calculus in Logic and Linguistics, 1-gen-2002 Abrusci, Vito Michele
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
Dedekind, Hilbert, Goedel: the Comparison between Logical Sentences and Arithmetical Sentences 1-gen-2014 Abrusci, Vito Michele
Formal Ontologies and Coherent Spaces 1-gen-2014 Abrusci, Vito Michele; Ch, Fouquere; Romano, Marco
Geometria nella logica: le dimostrazioni 1-gen-2011 Abrusci, Vito Michele
A Geometrical Representation of the Basic Laws of Categorial Grammar 1-gen-2017 Abrusci, Vito Michele; Casadio, Claudia
Hilbert's tau and epsilon in Proof Theory: a proof-theoretical representation of universal and existential statements 1-gen-2018 Abrusci, Vito Michele
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
Le direzioni della ricerca logica in Italia: la logica lineare e i suoi sviluppi 1-gen-2018 Abrusci, Vito Michele; Pistone, Paolo
Les écrans et l'interaction: un défi pour la logique 1-gen-2016 Abrusci, Vito Michele
Logica 1-gen-2016 Abrusci, Vito Michele
LOGICA 1-gen-2018 Abrusci, Vito Michele
Logica 1-gen-2018 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
Logica Volume 1- Dimostrazioni e modelli al primo ordine 1-gen-2014 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
Logica . Seconda Edizione 1-gen-2012 Abrusci, Vito Michele
Non-commutative logic: A survey 1-gen-2003 Abrusci, Vito Michele
On Hilbert's Axiomatics of Propositional Logic 1-gen-2014 Abrusci, Vito Michele