logica: titoli (+riferimenti) : 1900-1989
- 1900, Edmund
Husserl
,
Ricerche logiche I: prolegomeni alla logica pura
- 1901, Gottfried Wilhelm von
Leibniz
,
La logique de Leibniz d'après des documents inédits [aut. L. Couturat]
- 1903, John
Dewey
,
Studi sulla teoria logica
- 1904, David
Hilbert
,
Sui fondamenti della logica e dell'aritmetica
- 1906, Max
Weber
,
Studi critici intorno alla logica delle scienze della cultura
- 1908, Ernst
Zermelo
,
Untersuchungen über die Grundlagen der Mengenlehre I
- 1910, Bertrand Arthur William
Russell
,
Principia mathematica [3 voll.] [1910-13]
- 1914, Bertrand Arthur William
Russell
,
Misticismo e logica e altri saggi
- 1916, John
Dewey
,
Logica sperimentale. Teoria naturalistica della conoscenza e del pensiero
- 1918, Bertrand Arthur William
Russell
,
Logica e conoscenza
- 1920, Rudolf
Carnap
,
Abriß der Logistik
- 1922, Federico
Enriques
,
Per la storia della logica
- 1922, Ludwig
Wittgenstein
,
Tractatus logico-philosophicus e Quaderni 1914-1916
- 1923, Charles Sanders
Peirce
,
Chance, Love and Logic: Philosophical Essays by the Late Charles S. Peirce, the Founder of Pragmatism
- 1928, Rudolf
Carnap
,
La costruzione logica del mondo
- 1928, David
Hilbert
,
Grundzüge der theoretischen Logik
- 1928, David
Hilbert
,
Lineamenti fondamentali di logica teorica
- 1928, Edmund
Husserl
,
Logische Untersuchungen
- 1929, Kurt
Gödel
,
Sulla completezza del calcolo della logica
- 1930, Kurt
Gödel
,
Conferenza sulla completezza del calcolo funzionale
- 1930, Kurt
Gödel
,
La completezza degli assiomi del calcolo funzionale logico
- 1930, David
Hilbert
,
Conoscenza della natura e logica
- 1930, David
Hilbert
,
Logic and the Knowledge of Nature
- 1931, Rudolf
Carnap
,
Superamento della metafisica mediante l'analisi logica del linguaggio
- 1931, Kurt
Gödel
,
Sulle proposizioni formalmente indecidibili dei Principia Mathematica e di sistemi affini
- 1931, F.P.
Ramsey
,
I fondamenti della matematica e altri scritti di logica
- 1931, H.
Scholz
,
Abriss der Geschichte der Logik
- 1932, Charles Sanders
Peirce
,
Scritti di logica
- 1933, Alfred
Tarski
,
Concetto di verità e linguaggi formalizzati
- 1934, Rudolf
Carnap
,
La sintassi logica del linguaggio
- 1934, Rudolf
Carnap
,
Sintassi logica del linguaggio
- 1934, Karl Raimund
Popper
,
La logica della scoperta scientifica
- 1935, Alfred
Tarski
,
Il concetto di semantica nei linguaggi formalizzati
- 1936, A. J.
Aver
,
Linguaggio, verità e logica
- 1936, A.J.
Ayer
,
Linguaggio, verità e logica
- 1936, Alfred
Tarski
,
On Mathematical Logic and Deductive Method
- 1937, Willard van Orman
Quine
,
Nuovi fondamenti della logica matematica
- 1939, Rudolf
Carnap
,
Foundations of Logic and Mathematics
- 1939, Alan Mathison
Turing
,
Systems of logic based on ordinals
- 1940, Willard van Orman
Quine
,
Mathematical Logic
- 1941, Alfred
Tarski
,
Introduzione alla logica
- 1943, Rudolf
Carnap
,
Formalizzazione della logica
- 1947, Hans
Reichenbach
,
Elements of Symbotic Logic
- 1948, J.
Joergensen
,
Neo-positivismo e unità delle Scienze
- 1948, John
von Neumann
,
La logica degli automi e la loro autoriproduzione
- 1952, P.
Strawson
,
Introduction to logical theory
- 1954, Rudolf
Carnap
,
Einführung in die symbolische Logik
- 1955, Avram Noam
Chomsky
,
The logical structure of linguistic theory
- 1956,
,
Formale logik
- 1956, Willard van Orman
Quine
,
Quantificatori e atteggiamenti proposizionali
- 1956, Alfred
Tarski
,
Logic, Semantics, Metamathematics
- 1957, Alfred
Tarski
,
Arithmetical Extensions of Relational Systems
- 1959, Bruno
de Finetti
,
Matematica logico-intuitiva
- 1960, Paolo
Rossi
,
Clavis Universalis: arti della memoria e logica combinatoria da Lullo a Leibniz
- 1961, Joseph G.
Brennam
,
The Nature of Logical Truth
- 1961, Ernest
Nagel
,
La struttura della scienza. Problemi di logica nella spiegazione scientifica
- 1962, W.
Kneale
,
The Development of Logic
- 1962, Ernest
Nagel
,
Logic, Methodology and Philosophy of Science
- 1962, P. H.
Nidditch
,
The Development of Mathematical Logic
- 1963, Willard van Orman
Quine
,
Set Theory and Its Logic
- 1964, Evandro
Agazzi
,
La logica simbolica
- 1964, Elliot
Mendelson
,
Introduzione alla logica matematica
- 1965, Mike
Davis
,
The Undecidable. Basic Paper on Undecidable Propositions, Unsolvable Problems and Computable Functions
- 1966, Abraham A.
Fraenkel
,
Teoria degli insiemi e logica
- 1967, Stephen C.
Kleene
,
Mathematical Logic
- 1967, Marvin L.
Minsky
,
Computation: Finite and Infinite Machines
- 1967, Jean
Van Heijenoort
,
From Frege To Gödel
- 1967, Jean
Van Heijenoort
,
From Frege to Gödel. A Source Book in Mathematical Logic, 1879-1931
- 1968, R.
Blanché
,
Logica e assiomatica
- 1968, Jacques
Herbrand
,
Écrits logiques
- 1968, M.
Kac
,
Mathematics and Logic
- 1968, Gottfried Wilhelm von
Leibniz
,
Scritti di logica
- 1968, John Stuart
Mill
,
Sistema di Logica, Raziocinativa e Induttiva
- 1969, A.C.
Leisenring
,
Mathematical Logic and Hilbert's ε-Symbol
- 1970, Willard van Orman
Quine
,
Logica e grammatica
- 1971, Geoffrey
Hunter
,
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
- 1973, Aldo
Bonomi
,
La struttura logica del linguaggio
- 1975, Ignacio
Matte Blanco
,
L'inconscio come insiemi infiniti. Saggio sulla bi-logica
- 1975, Alfred
Tarski
,
Logic Semantics Metamathematics. Papers from 1923 to 1938
- 1976, Friedrich Ludwig Gottlob
Frege
,
Alle origini della nuova logica. Episfolario scientifico con Hilbert, Husserl, Peana, Russell, Vailati e altri
- 1976, Imre
Lakatos
,
Dimostrazioni e confutazioni
- 1977, H. B.
Curry
,
Foundations of Mathematical Logic
- 1978, Carlo
Cellucci
,
Teoria della dimostrazione
- 1978, Saul A.
Kripke
,
Identità e necessità
- 1978, Gabriele
Lolli
,
Lezioni di logica matematica
- 1979, Maurits Cornelis
Escher
,
Gödel, Escher, Bach: un'Eterna Ghirlanda Brillante [aut. Douglas R. Hofstadter]
- 1979, Douglas R.
Hofstadter
,
Gödel, Escher, Bach: un'Eterna Ghirlanda Brillante
- 1980, Jürgen
Habermas
,
Agire comunicativo e logica delle scienze sociali
- 1981, Daniel Clement
Dennett
,
L'io della mente
- 1981, Douglas R.
Hofstadter
,
L'io della mente
- 1983, Nicholas
Falletta
,
Il libro dei paradossi
- 1983, Andrew P.
Hodges
,
Storia di un enigma
- 1983, Paolo
Rossi
,
Clavis universalis. Arti della memoria e logica combinatoria da Lullo a Leibniz
- 1983, Alan Mathison
Turing
,
Storia di un enigma [aut. Andrew P. Hodges]
- 1985, J.N.
Crossley
,
Che cosa è la logica matematica?
- 1985, Bruno
de Finetti
,
La logica dell'incerto
- 1985, J.-C.
Pariente
,
L'analyse du langage à Port-Royal: six études logico-grammaticales
- 1986, Edgar
Morin
,
Il metodo 4. Le idee: habitat, vita, organizzazione, usi e costumi
- 1987, Willard van Orman
Quine
,
Quidditates: quasi un dizionario filosofico
- 1988, H.
Stein
,
Logos, Logic, Logistiké: Some Philosophical Remark on Nineteenth-Century Transformation of Mathematics
- 1988, Achille C.
Varzi
,
Logica
- 1989, P.
Dessì
,
L'ordine e il caso. Discussioni epistemologiche e logiche sulla probabilità da Laplace a Peirce