Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Search results

Search Results

Results: 1-120 of 143

Edit research

Active filters:

Dewey class: 511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)
La scienza dei simboli : contributo allo studio dei principi e dei metodi della simbolica
Testo
La scienza dei simboli : contributo allo studio dei principi e dei metodi della simbolica

Alleau, Ren

Lineamenti di logica matematica
Testo
Lineamenti di logica matematica

Casari, Ettore <1933-2019>

Logica e aritmetica
Testo
Logica e aritmetica

Frege, Gottlob

Vollstandige Systeme modaler und intuitionistischer Logik
Testo
Vollstandige Systeme modaler und intuitionistischer Logik

Schütte, Kurt

Cellular automata machines : a new environment for modeling
Testo
Cellular automata machines : a new environment for modeling

Toffoli, Tommaso

Mathematische Gesetze der Logik. 1, *Vorlesungen uber Aussagenlogik
Testo
Mathematische Gesetze der Logik. 1, *Vorlesungen uber Aussagenlogik

Schmidt, Hermann Arnold

Logica
Testo
Logica

Varzi, Achille C.

Gödel, Escher, Bach : un'eterna ghirlanda brillante
Testo
Gödel, Escher, Bach : un'eterna ghirlanda brillante

Hofstadter, Douglas R.

Atti del Congresso Logica e filosofia della scienza, oggi : San Gimignano, 7-11 dicembre 1983
Testo
Atti del Congresso Logica e filosofia della scienza, oggi : San Gimignano, 7-11 dicembre 1983

Congresso Logica e filosofia della scienza, oggi <1983

\1!: Siena, 7-8-9 gennaio 1982, 15-16-17 aprile 1982, 4-5-6 giugno 1982
Testo
\1!: Siena, 7-8-9 gennaio 1982, 15-16-17 aprile 1982, 4-5-6 giugno 1982
Le ragioni fisiche e le dimostrazioni matematiche
Testo
Le ragioni fisiche e le dimostrazioni matematiche

Lolli, Gabriele

Scritti postumi
Testo
Scritti postumi

Frege, Gottlob

Il pensiero ricorsivo
Testo
Il pensiero ricorsivo

Roberts, Eric S.

L'arte del problem posing
Testo
L'arte del problem posing

Brown, Stephen I.

Matematica, informatica, logica : un percorso organico per un insegnamento unitario
Testo
Matematica, informatica, logica : un percorso organico per un insegnamento unitario

Alfano, Florindo

Osservazioni sopra i fondamenti della matematica
Testo
Osservazioni sopra i fondamenti della matematica

Wittgenstein, Ludwig

Dalla matematica alla filosofia
Testo
Dalla matematica alla filosofia

Wang, Hao

Elementi di logica : con gli esercizi risolti
Testo
Elementi di logica : con gli esercizi risolti

Lemmon, Edward John

Matematica dell'incerto : un linguaggio per capire la realt
Testo
Matematica dell'incerto : un linguaggio per capire la realt

Lombardo, Enzo <1938-2005>

Atti degli incontri di logica matematica
Testo
Atti degli incontri di logica matematica
Lezioni sull'intuizionismo : Cambridge, 1946-51
Testo
Lezioni sull'intuizionismo : Cambridge, 1946-51

Brouwer, L. E. J.

Alle origini della nuova logica : carteggio scientifico con Hilbert, Husserl, Peano, Russell, Vailati e altri
Testo
Alle origini della nuova logica : carteggio scientifico con Hilbert, Husserl, Peano, Russell, Vailati e altri

Frege, Gottlob

Cos'è la logica matematica : filosofia della logica
Testo
Cos'è la logica matematica : filosofia della logica

Lolli, Gabriele

Mathematical logic
Testo
Mathematical logic

Kleene, Stephen Cole

Fondamenti di logica per insegnanti
Testo
Fondamenti di logica per insegnanti

Varga, Tamás

Introduzione alla logica formale
Testo
Introduzione alla logica formale

Lolli, Gabriele

Temi fondamentali della logica moderna
Testo
Temi fondamentali della logica moderna

Makinson, David Clement <1941->

Categorie nella pratica matematica
Testo
Categorie nella pratica matematica

MacLane, Saunders

La prova di Gödel
Testo
La prova di Gödel

Nagel, Ernest

Il teorema di Gödel : una messa a fuoco
Testo
Il teorema di Gödel : una messa a fuoco
Logica
Testo
Logica
Tutti pazzi per Gödel! : la guida completa al teorema di incompletezza
Testo
Tutti pazzi per Gödel! : la guida completa al teorema di incompletezza

Berto, Francesco <1973- >

Logica e aritmetica
Testo
Logica e aritmetica

Frege, Gottlob

Il software dell'universo : saggio sulle leggi di natura
Testo
Il software dell'universo : saggio sulle leggi di natura

Dorato, Mauro

Da Euclide a Godel
Testo
Da Euclide a Godel

Lolli, Gabriele

La logica matematica
Testo
La logica matematica
Logica modale, calcolo modale
Testo
Logica modale, calcolo modale

Becker, Oskar

Le stravaganze della logica : giochi, aneddoti, paradossi e teorie per allenarsi a pensare
Testo
Le stravaganze della logica : giochi, aneddoti, paradossi e teorie per allenarsi a pensare

Agostini, Franco

Atti del Congresso Nuovi problemi della logica e della filosofia della scienza : Viareggio, 8-13 gennaio 1990
Testo
Atti del Congresso Nuovi problemi della logica e della filosofia della scienza : Viareggio, 8-13 gennaio 1990

Congresso Nuovi problemi della logica e della filosofia della scienza <1990

La verità trasmessa : la logica attraverso le dimostrazioni matematiche
Testo
La verità trasmessa : la logica attraverso le dimostrazioni matematiche

Bellissima, Fabio

Trattato d'aritmetica
Testo
Trattato d'aritmetica

Bertrand, Joseph <1822-1900>

Mathematical logic
Testo
Mathematical logic

Shoenfield, Joseph Robert

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Testo
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Hermes, Hans

Logica matematica per l'informatica
Testo
Logica matematica per l'informatica

Ben-Ari, Mordechai <1948- >

Metamathematics of fuzzy logic
Testo
Metamathematics of fuzzy logic

Hájek, Petr

Introduction to symbolic logic and its applications
Testo
Introduction to symbolic logic and its applications

Carnap, Rudolf

Beweistheorie
Testo
Beweistheorie

Schütte, Kurt

Logica da zero a Godel
Testo
Logica da zero a Godel

Berto, Francesco <1973- >

Probabilistic logic in a coherent setting
Testo
Probabilistic logic in a coherent setting

Coletti, Giulianella

Handbook of mathematical logic
Testo
Handbook of mathematical logic
Problemi di logica per ragazze e ragazzi svegli
Testo
Problemi di logica per ragazze e ragazzi svegli
L'algebra della logica : un profilo storico
Testo
L'algebra della logica : un profilo storico

Freguglia, Paolo

Handbook of categorical algebra 1 : basic category theory
Testo
Handbook of categorical algebra 1 : basic category theory

Borceux, Francis

Analisi matematica della logica : saggio di un calcolo del ragionamento deduttivo
Testo
Analisi matematica della logica : saggio di un calcolo del ragionamento deduttivo

Boole, George

Handbook of categorical algebra 3 : categories of sheaves
Testo
Handbook of categorical algebra 3 : categories of sheaves

Borceux, Francis

Introduzione ai teoremi di incompletezza
Testo
Introduzione ai teoremi di incompletezza

Galvan, Sergio

Del metodo matematico
Testo
Del metodo matematico

Bolzano, Bernard

Selected essays on the history of set theory and logics : 1906-1918
Testo
Selected essays on the history of set theory and logics : 1906-1918

Jourdain, Philip E. B.

Aritmetica e logica
Testo
Aritmetica e logica

Frege, Gottlob

La logica simbolica
Testo
La logica simbolica

Agazzi, Evandro

Il certo e il probabile : piccolo manuale di logica e di calcolo delle probabilit
Testo
Il certo e il probabile : piccolo manuale di logica e di calcolo delle probabilit

Manara, Carlo Felice

Fondamenti di logica : introduzione alla teoria della dimostrazione
Testo
Fondamenti di logica : introduzione alla teoria della dimostrazione

Borga, Marco

Logik, Wissenschaftstheorie und Erkenntnistheorie : Akten des 11. Internationalen Wittgenstein Symposiums, 4. bis 13. August 1986 Kirchberg am Wechsel (Osterreich)
Testo
Logik, Wissenschaftstheorie und Erkenntnistheorie : Akten des 11. Internationalen Wittgenstein Symposiums, 4. bis 13. August 1986 Kirchberg am Wechsel (Osterreich)

Internationales Wittgenstein Symposium <11. ; 1986

Introduzione alla logica simbolica
Testo
Introduzione alla logica simbolica

Pasquinelli, Alberto

Induzione, accettazione, informazione
Testo
Induzione, accettazione, informazione

Hintikka, Jaakko

Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali
Testo
Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali

Cellucci, Carlo

Gödel, Escher, Bach : un'eterna ghirlanda brillante
Testo
Gödel, Escher, Bach : un'eterna ghirlanda brillante

Hofstadter, Douglas R.

Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990
Testo
Category theory : proceedings of the international conference held in Como, Italy, July 22-28, 1990
Theory of formal systems
Testo
Theory of formal systems

Smullyan, Raymond

Constructivism in mathematics : an introduction
Testo
Constructivism in mathematics : an introduction

Troelstra, Anne Sjerp

From Frege to Godel : a source book in mathematical logic, 1879-1931
Testo
From Frege to Godel : a source book in mathematical logic, 1879-1931
Lezioni di logica matematica
Testo
Lezioni di logica matematica

Lolli, Gabriele

Logica e filosofia della scienza: problemi e prospettive : atti del Congresso triennale della Società italiana di logica e filosofia delle scienze
Testo
Logica e filosofia della scienza: problemi e prospettive : atti del Congresso triennale della Società italiana di logica e filosofia delle scienze

Società italiana di logica e filosofia delle scienze

The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958
Testo
The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958

International symposium on the axiomatic method with special reference to geometry and physics <1958

Logic and social choice
Testo
Logic and social choice

Murakami, Yasusuke

Tarskiʼs world 3.0 : including the Macintosh(tm) program
Testo
Tarskiʼs world 3.0 : including the Macintosh(tm) program

Barwise, Jon

Introduzione alla logica simbolica : con particolare riferimento alle sue applicazioni
Testo
Introduzione alla logica simbolica : con particolare riferimento alle sue applicazioni

Carnap, Rudolf

Metodi matematici in complessità computazionale
Testo
Metodi matematici in complessità computazionale

Bernasconi, Anna <1967- >

Fondamenti di logica e matematica
Testo
Fondamenti di logica e matematica

Carnap, Rudolf

Storia della logica : la formazione delle idee della logica matematica
Testo
Storia della logica : la formazione delle idee della logica matematica

Stjazkin, Nikolaj Ivanovic

Logica simbolica
Testo
Logica simbolica

Chang, Chin-Liang

Capire una dimostrazione : il ruolo della logica nella matematica
Testo
Capire una dimostrazione : il ruolo della logica nella matematica

Lolli, Gabriele

Proof theory
Testo
Proof theory

Schütte, Kurt

An algebraic introduction to mathematical logic
Testo
An algebraic introduction to mathematical logic

Barnes, Donald W. <1935->

Elements of mathematical logic
Testo
Elements of mathematical logic

ukasiewicz, Jan

From logic design to logic programming : theorem proving techniques and P-functions
Testo
From logic design to logic programming : theorem proving techniques and P-functions

Snyers, Dominique

The logical and set-theoretical foundations of mathematics
Testo
The logical and set-theoretical foundations of mathematics

Zulauf, Achim

Logica fuzzy : teoria ed applicazioni
Testo
Logica fuzzy : teoria ed applicazioni

Veronesi, Massimiliano

Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987
Testo
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987
The theory of models : proceedings of the 1963 international symposium at Berkeley
Testo
The theory of models : proceedings of the 1963 international symposium at Berkeley
Direct and converse theorems : the elements of symbolic logic
Testo
Direct and converse theorems : the elements of symbolic logic

Gradstejn, Izrail Solomonovic

First-order logic
Testo
First-order logic

Smullyan, Raymond

Ontologia e conoscenza matematica : un saggio su Gottlob Frege
Testo
Ontologia e conoscenza matematica : un saggio su Gottlob Frege

Egidi, Rosaria

La posizione gnoseologica della matematica
Testo
La posizione gnoseologica della matematica

Barié, Giovanni Emanuele

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of the set theory
Testo
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of the set theory

Gödel, Kurt

Grundzuge der theoretischen Logik
Testo
Grundzuge der theoretischen Logik

Hilbert, David

Grundzuge der mathematischen Logik
Testo
Grundzuge der mathematischen Logik

Scholz, Heinrich

Algebraic foundations of many-valued-reasoning
Testo
Algebraic foundations of many-valued-reasoning

Cignoli, Roberto L. O.

A mathematical introduction to logic
Testo
A mathematical introduction to logic

Enderton, Herbert B.

A new kind of science
Testo
A new kind of science

Wolfram, Stephen <1959->

A first course in fuzzy logic
Testo
A first course in fuzzy logic

Nguyen, Hung T. <1944- >

Computability & unsolvability
Testo
Computability & unsolvability

Davis, Martin <1928-2023>

Algebraic complexity theory
Testo
Algebraic complexity theory

Burgisser, Peter

I fondamenti della matematica nel logicismo di Bertrand Russell
Testo
I fondamenti della matematica nel logicismo di Bertrand Russell

Donati, Stefano <1957- >

Symbolic logic
Testo
Symbolic logic

Lewis, Clarence Irving

Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Godel
Testo
Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Godel
La logique moderne
Testo
La logique moderne

Chauvineau, Jean

Scritti di logica
Testo
Scritti di logica

Peirce, Charles Santiago Sanders

Fuzzy sets and systems : theory and applications
Testo
Fuzzy sets and systems : theory and applications

Dubois, Didier

Introduction to logic and to the methodology of deductive sciences
Testo
Introduction to logic and to the methodology of deductive sciences

Tarski, Alfred

Automata, languages and machines
Testo
Automata, languages and machines

Eilenberg, Samuel

Abstract set theory
Testo
Abstract set theory

Fraenkel, Abraham A.

Truth, syntax and modality : proceedings of the Temple university conference on alternative semantics
Testo
Truth, syntax and modality : proceedings of the Temple university conference on alternative semantics

Conference on alternative semantics <1970

Il mistero dell'alef : la ricerca dell'infinito tra matematica e misticismo
Testo
Il mistero dell'alef : la ricerca dell'infinito tra matematica e misticismo

Aczel, Amir D.

The global dynamics of cellular automata : an atlas on basin of attraction fields of one-dimensional cellular automata
Testo
The global dynamics of cellular automata : an atlas on basin of attraction fields of one-dimensional cellular automata

Wuensche, Andrew

Axiomatic set theory
Testo
Axiomatic set theory
Accessible categories : the foundations of categorical model theory
Testo
Accessible categories : the foundations of categorical model theory

Makkai, Michael <1939- >

Computational analysis of one-dimensional cellular automata
Testo
Computational analysis of one-dimensional cellular automata

Voorhees, Burton H.

Elements of mathematical logic : (model theory)
Testo
Elements of mathematical logic : (model theory)

Kreisel, G.

Mathematical logic : a first course
Testo
Mathematical logic : a first course

Robbin, Joel W.

1 2

Filter results

Close

Subjects

Indietro Avanti