Resultados de la búsqueda

Resultados: 1-120 de 188

Editar investigación

Filtros activos:

Sujeto BNI: Logica matematica

Vista

Ordenar por

Testo

Lineamenti di logica matematica

Casari, Ettore <1933-2019>

Testo

Elementi di logica matematica

Mangione, Corrado

Testo

Le logiche libere

Testo

Vollstandige Systeme modaler und intuitionistischer Logik

Schütte, Kurt

Testo

Logic and philosophy in Italy : some trends and perspectives

Testo

Introduzione alla logica e al linguaggio matematico

Bagni, Giorgio T.

Testo

Mathematische Gesetze der Logik. 1, *Vorlesungen uber Aussagenlogik

Schmidt, Hermann Arnold

Testo

Bollettino dei Musei di zoologia e anatomia comparata della R. Università di Torino

Testo

Introduction to mathematical logic

Mendelson, Elliott

Testo

Gödel : i teoremi di incompletezza

Piñeiro, Gustavo Ernesto

Testo

Fondamenti di logica per insegnanti

Varga, Tamás

Testo

Logica

Varzi, Achille C.

Testo

Automi, linguaggi e calcolabilit

Hopcroft, John E. <1939- >

Testo

Sperimentare la logica

Dalla Chiara, Maria Luisa

Testo

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

Hofstadter, Douglas R.

Testo

Tractatus logico-philosophicus e Quaderni 1914-1916

Wittgenstein, Ludwig

$\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

Testo

Le ragioni fisiche e le dimostrazioni matematiche

Lolli, Gabriele

Testo

Scritti postumi

Frege, Gottlob

Testo

Il pensiero ricorsivo

Roberts, Eric S.

Testo

La macchina e le dimostrazioni : matematica, logica e informatica

Lolli, Gabriele

Testo

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

Alfano, Florindo

Testo

Osservazioni sopra i fondamenti della matematica

Wittgenstein, Ludwig

Testo

Matematica discreta

Lipschutz, Seymour

Testo

Dalla matematica alla filosofia

Wang, Hao

Testo

Elementi di logica : con gli esercizi risolti

Lemmon, Edward John

Testo

Atti degli incontri di logica matematica

Testo

Lezioni sull'intuizionismo : Cambridge, 1946-51

Brouwer, L. E. J.

Testo

Numeri, caso e sequenze

Testo

Logica e ragionamento

Johnson, Donovan A.

Testo

Cos'è la logica matematica : filosofia della logica

Lolli, Gabriele

Testo

Mathematical logic

Kleene, Stephen Cole

Testo

Temi fondamentali della logica moderna

Makinson, David Clement <1941->

Testo

Lezioni di Wittgenstein sui fondamenti della matematica : Cambridge 1939

Wittgenstein, Ludwig

$Alle origini della logica matematica : un saggio introduttivo con confronti antologici da F. Enriques ...\et al.!$

Testo

Alle origini della logica matematica : un saggio introduttivo con confronti antologici da F. Enriques ...\et al.!

Mazzacua, Giorgio

Testo

Logica

Testo

Il gioco della logica

Carroll, Lewis

Testo

La filosofia del linguaggio : antologia dal Tractatus e dalle Ricerche

Wittgenstein, Ludwig

Testo

L'importanza di essere fuzzy : matematica e computer

Sangalli, Arturo

Testo

Logica e aritmetica

Frege, Gottlob

Testo

Il software dell'universo : saggio sulle leggi di natura

Dorato, Mauro

Testo

Da Euclide a Godel

Lolli, Gabriele

Testo

I paradossi dell'infinito

Bolzano, Bernard

Testo

Probabilità, numeri e code : la matematica nascosta nella vita quotidiana

Eastaway, Robert

Testo

QED : fenomenologia della dimostrazione

Lolli, Gabriele

Testo

Sotto il segno di Gödel

Lolli, Gabriele

Testo

La matematica della verità : strumenti matematici della semantica logica

Casari, Ettore <1933-2019>

Testo

Introduzione alla filosofia matematica

Russell, Bertrand

Testo

Relog : regole logiche nelle dimostrazioni matematiche

Mangani, Nello

Testo

Grammatica filosofica

Wittgenstein, Ludwig

Testo

La verità trasmessa : la logica attraverso le dimostrazioni matematiche

Bellissima, Fabio

Testo

Lineamenti di logica matematica

Casari, Ettore <1933-2019>

Testo

Teoria delle reti logiche : reti combinatorie

Luccio, Fabrizio

Testo

L'algebra di Boole e i circuiti logici

Cianflone, Franco

Testo

Che cos'è la logica matematica?

Testo

Fondamenti della matematica

Hatcher, William S.

Testo

Critica dei principi della matematica e questioni di logica

Cassina, Ugo

Testo

Osservazioni sopra i fondamenti della matematica

Wittgenstein, Ludwig

Testo

Osservazioni sopra i fondamenti della matematica

Wittgenstein, Ludwig

Testo

Mondi della logica

Carruccio, Ettore

Testo

Matematica al bar : conversazioni su giochi, logica e altro

Lucchetti, Roberto <1950- >

Testo

Teoria della dimostrazione

Testo

Valido e provabile : ricerche storico-critiche sulla logica del '900

Giaretta, Pierdaniele

Testo

Introduzione ai Principia mathematica

Whitehead, Alfred North

Testo

I fondamenti logici della matematica

Beth, Evert Willem

Testo

Introduzione alla logica e alla metodologia delle scienze deduttive

Tarski, Alfred

Testo

Logica matematica e teorie formalizzate : un quadro generale dei concetti e dei risultati fondamentali

Rogers, Robert

Testo

I fondamenti della matematica e altri scritti di logica

Ramsey, Frank Plumpton

Testo

Logica e conoscenza

Russell, Bertrand

Testo

Le due teste del tiranno : metodi matematici per la libert

Malvaldi, Marco

Testo

Logica matematica per l'informatica

Ben-Ari, Mordechai <1948- >

Testo

Introduzione alla teoria degli insiemi ed alla logica matematica

Fadini, Angelo

Testo

Teorie formalizzate e logica matematica

Marruccelli, Aldo

Testo

Osservazioni filosofiche

Wittgenstein, Ludwig

Testo

Le due teste del tiranno : metodi matematici per la libert

Malvaldi, Marco

Testo

Il computer di Ockham : genesi e struttura della Rivoluzione Scientifica

Borzacchini, Luigi

Materiale multimediale

Matematico e impertinente : varietà differenziale

Odifreddi, Piergiorgio

Testo

Tractatus logico-philosophicus e Quaderni 1914-1916

Wittgenstein, Ludwig

Testo

Esistenza e sperimentazione : il problema della valutazione delle espressioni appartenenti alla formalizzazione di una teoria concernente funzioni di grandezze

Imbraguglia, Giorgio

Testo

Probabilistic logic in a coherent setting

Coletti, Giulianella

Testo

Lineamenti di logica matematica

Casari, Ettore <1933-2019>

Testo

Osservazioni filosofiche

Wittgenstein, Ludwig

Testo

Notizie di mineralogia siciliana e calabrese

Universita degli studi di Messina : Istituto di mineralogia

Testo

Teoria della logica del prim'ordine

Iacona, Andrea

Testo

Esercizi di logica

Cavagnetto, Stefano

Testo

Mondi nel mondo : fra gioco e matematica

Gallo, Paola <omonimi non identificati>

Testo

Logica numerica : 400 quiz di logica su probabilità, proporzioni, percentuali, serie numeriche, matrici ... ed altri rompicapo

Barbuto, Emiliano

Testo

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

Boole, George

Testo

Introduzione alla filosofia matematica

Russell, Bertrand

Testo

L'analisi matematica della logica

Boole, George

Testo

Aritmetica e logica

Frege, Gottlob

Testo

Logica e filosofia

Preti, Giulio <1911-1972>

Testo

Teoria e progetto delle reti logiche

Fadini, Bruno

Testo

Admissible sets and structures : an approach to definability theory

Barwise, Jon

Testo

Introduzione alla logica matematica

Mendelson, Elliott

Testo

Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali

Cellucci, Carlo

Testo

Proof theory : an introduction

Pohlers, Wolfram

Testo

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

Hofstadter, Douglas R.

Testo

La creatività matematica : come funzionano le menti straordinarie

Albertí, Miquel

Testo

Algebra for computer science

Garding, Lars

Testo

An outline of mathematical logic : fundamental results and notion explained with all details

Grzegorczyk, Andrzej

Testo

Complementi di matematiche moderne : (logica matematica - teoria degli insiemi - strutture algebriche)

Fiorentini, Mario <1918-2022>

Testo

Lezioni di logica matematica

Lolli, Gabriele

Testo

Techniques of admissible recursion theory

Chong, Chi-Tat

Testo

I principi della matematica

Russell, Bertrand

Testo

Les methodes formelles en axiomatique : Paris, Decembre 1950

Centre national de la recherche scientifique

Testo

Passione per Trilli : alcune idee dalla matematica

Lucchetti, Roberto <1950- >

Testo

L'uovo di Colombo e altri giochi di logica

Hemme, Heinrich

Testo

C'era una volta un paradosso : storie di illusioni e verità rovesciate

Odifreddi, Piergiorgio

Testo

Incompletezza : la dimostrazione e il paradosso di Kurt Godel

Goldstein, Rebecca

Testo

Questioni di filosofia della matematica

Casari, Ettore <1933-2019>

Testo

Coppie, numeri e frattali : altra matematica nascosta nella vita quotidiana

Eastaway, Robert

Testo

Osservazioni filosofiche

Wittgenstein, Ludwig

Testo

Atti e memorie

Testo

Fondamenti di logica e matematica

Carnap, Rudolf

Testo

Le teorie fisiche : un'analisi formale

Dalla Chiara, Maria Luisa

Testo

Logica simbolica

Chang, Chin-Liang

Testo

Capire una dimostrazione : il ruolo della logica nella matematica

Lolli, Gabriele

Testo

Atti della Societa lombarda di scienze medico-biologiche

Testo

Wilhelm Roux' Archiv für Entwicklungsmechanik der Organismen : Organ für die gesamte kausale Morphologie

Filtrar Resultados

Categoría
- Testo
  (186)
- Materiale multimediale
  (2)
- Otro Todos
Naturaleza
- Monografia
  (182)
- Periodico
  (6)
- Otro Todos
Autor principal
- Wittgenstein, Ludwig
  (15)
- Lolli, Gabriele
  (8)
- Casari, Ettore <1933-2019>
  (6)
- Russell, Bertrand
  (6)
- Beth, Evert Willem
  (5)
- Boole, George
  (4)
- Frege, Gottlob
  (4)
- Mendelson, Elliott
  (3)
- Dalla Chiara, Maria Luisa
  (2)
- Eastaway, Robert
  (2)
- Egidi, Rosaria
  (2)
- Hofstadter, Douglas R.
  (2)
- Hopcroft, John E. <1939- >
  (2)
- Kreisel, G.
  (2)
- Lemmon, Edward John
  (2)
- Lucchetti, Roberto <1950- >
  (2)
- Malvaldi, Marco
  (2)
- Mangione, Corrado
  (2)
- Odifreddi, Piergiorgio
  (2)
- Tarski, Alfred
  (2)
- Otro Todos
Nombres
- Wittgenstein, Ludwig
  (15)
- Lolli, Gabriele
  (8)
- Russell, Bertrand
  (8)
- Casari, Ettore <1933-2019>
  (7)
- Trinchero, Mario
  (6)
- Beth, Evert Willem
  (5)
- Mangione, Corrado
  (5)
- Boole, George
  (4)
- Conte, Amedeo Giovanni
  (4)
- Frege, Gottlob
  (4)
- Ballo, Edoardo
  (3)
- Chaitin, Gregory J.
  (3)
- Dalla Chiara, Maria Luisa
  (3)
- Mendelson, Elliott
  (3)
- Odifreddi, Piergiorgio
  (3)
- Rosso, Marino
  (3)
- Carroll, Lewis
  (2)
- Cavagnetto, Stefano
  (2)
- Cellucci, Carlo
  (2)
- Conte, Alberto <1942- >
  (2)
- Otro Todos
Lengua
- ITALIANO
  (140)
- INGLESE
  (37)
- FRANCESE
  (12)
- TEDESCO
  (5)
- Otro Todos
Clase de Dewey
- 511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)
  (48)
- 511.3 LOGICA MATEMATICA (LOGICA SIMBOLICA)
  (30)
- 511.3 LOGICA MATEMATICA, LOGICA SIMBOLICA
  (20)
- 164 LOGICA MATEMATICA LOGICA SIMBOLICA
  (13)
- 160 LOGICA
  (8)
- 511.3 ARITMETICA
  (5)
- 193 FILOSOFIA OCCIDENTALE MODERNA. GERMANIA E AUSTRIA
  (4)
- 511.3092 LOGICA MATEMATICA (LOGICA SIMBOLICA). Persone
  (3)
- 005.131 LINGUAGGI DI PROGRAMMAZIONE. LOGICA SIMBOLICA (MATEMATICA)
  (2)
- 510.1 MATEMATICA. FILOSOFIA E TEORIA
  (2)
- 510.1 MATEMATICA. Filosofia e teoria
  (2)
- 512.8 ALGEBRA ASTRATTA
  (2)
- 519.4 MATEMATICA DEGLI ELABORATORI
  (2)
- 149.94 ANALISI LINGUISTICA
  (1)
- 149.94 FILOSOFIE LINGUISTICHE
  (1)
- 153.43 PSICOLOGIA DELLA COSCIENZA. RAGIONAMENTO
  (1)
- 153.43 RAGIONAMENTO
  (1)
- 165 SOFISMI E FONTI D'ERRORE
  (1)
- 501 SCIENZE PURE. FILOSOFIA E TEORIA
  (1)
- 510 MATEMATICA
  (1)
- Otro Todos
Sujeto BNI
- Logica
  (8)
- Gödel, Kurt
  (7)
- Giochi matematici
  (6)
- Matematica - Teorie
  (6)
- Linguaggio
  (5)
- Logica simbolica
  (5)
- Epistemologia
  (4)
- Filosofia della scienza
  (4)
- Matematica - Filosofia
  (4)
- Algebra
  (2)
- Bach, Johann Sebastian
  (2)
- Elaboratori elettronici - Struttura
  (2)
- Elaborazione dei dati - Programmazione
  (2)
- Filosofia [della] Matematica
  (2)
- Informatica
  (2)
- Insiemi - Teoria
  (2)
- Intelligenza artificiale
  (2)
- Linguaggi di programmazione
  (2)
- Logica - Storia
  (2)
- Otro Todos

Cerca

Resultados de la búsqueda

Resultados de la búsqueda

Asignaturas