LOGICA
Visualizzazione di 26 risultati
-
Aggiungi al carrelloQuick View
Studi di filosofia
Autore: Visentin MauroPerché l’antica lingua greca, di cui si servono i pensatori continua
-
Aggiungi al carrelloQuick View
Selected Papers in Proof Theory
Autore: Mintz Grigorii E.This collection includes papers devoted to the structural theory of continua
-
Aggiungi al carrelloQuick View
Notes on Philosophy, Probability and Mathematics
Autore: Ramsey Frank PlumptonA cura di: Galavotti Maria CarlaThis book is a collection of notes by Frank Plumpton continua
-
Aggiungi al carrelloQuick View
Fixed point constructions in various theories of Mathematical Logic
Autore: Sommaruga - Rosolemos GiovanniThis thesis deals with fixed point constructions in various theories continua
-
Aggiungi al carrelloQuick View
Indagini semantiche sulle logiche intermedie proposizionali
Autore: Minari Pier L.Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si continua
-
Aggiungi al carrelloQuick View
La teoria della dimostrazione di Hilbert
Autore: Moriconi EnricoMoriconi espone i temi di fondo del programma hilbertiano senza continua
-
Aggiungi al carrelloQuick View
Proof Theory of Impredicative Subsystem of Analysis
The present book provides a uniform proof-theoretical treatment of several continua
-
Aggiungi al carrelloQuick View
Logical problems of the medieval theory of consequences
Autore: Schupp FranzThe 14th century theory of consequences is rightly considered one continua
-
Aggiungi al carrelloQuick View
Introduction to Deontic Logic and the Theory of Normative Systems
Autore: Aqvist LennartThe book deals with deontic logic in the broad sense continua
-
Aggiungi al carrelloQuick View
Gilbert de Poitiers et ses contemporains
Le lecteur de cet ouvrage sera guidé dans ces voies continua
-
Aggiungi al carrelloQuick View
Gödel Remembered
The contributers deal with topics concerning Gödel’s life and interests continua
-
Aggiungi al carrelloQuick View
Bounded Arithmetic
Autore: Buss Samuel R.This dissertation uses methods from mathematical logic to examine issues continua
-
Aggiungi al carrelloQuick View
Selected Essays
Autore: Van Heijenoort J.The questions that arise when we confront a systematic logic continua
-
Esaurito
Leggi tuttoQuick ViewRicerche sui fondamenti della matematica
Autore: Hilbert DavidQuesto volume mette per la prima volta a disposizone del continua
-
Esaurito
Leggi tuttoQuick ViewIntuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
-
Aggiungi al carrelloQuick View
Una teoria consequenzialista dei condizionali
Autore: Pizzi ClaudioA fronte di successi incontestabili della semantica a mondi possibili continua
-
Aggiungi al carrelloQuick View
Proprietà e operazioni
Autore: Cantini AndreaBehmann (1931) proponeva una nuova linea di approccio alle antinomie continua
-
Aggiungi al carrelloQuick View
Categorial Grammar and the Logical Form of Quantification
Autore: Levin Harold D.Il libro di Levin si compone di tre capitoli, preceduti continua
-
Aggiungi al carrelloQuick View
Materials for a Study on Twelfth Century Scholasticism
Autore: Giusberti FrancoThe book is a central contribution to the study of continua
-
Aggiungi al carrelloQuick View
English Logic in Italy in the 14th and 15th centuries
A cura di: Maierù A.The book covers the broadest possible spectrum of current research continua
-
Aggiungi al carrelloQuick View
Completezza, compattezza, indecidibilità
Autore: Manaster Alfred B.Questo volume presenta in forma compatta alcune delle tecniche e continua
-
Aggiungi al carrelloQuick View
Il paradiso di Cantor
Autore: Bernays Paul, Kreisel Georg, Montague Richard, Mostowski Andrzej, Skolem Thoralf, Ullian Josevh S., Zermelo ErnstA cura di: Cellucci C.Le discussioni recenti sui fondamenti della teoria degli insiemi si continua
-
Esaurito
Leggi tuttoQuick ViewIl continuo. Indagini critiche sui fondamenti dell’Analisi
Autore: Weyl HermannA cura di: Veit B.«Con questo saggio non ci proponiamo di erigere, nello spirito continua