OPERE: | |||||
1: | Calemi, F. F. | Argomentare, dimostrare, confutare. Un'introduzione alla logica | Carocci | Roma | 2022.02 |
2: | Cattani, Adelino | Botta e risposta. L'arte della replica | Il Mulino | Bologna | 2019.07 |
3: | Lolli, Gabriele | I teoremi di incompletezza | Il Mulino | Bologna | 2019.04 |
4: | Holt, Jim | Quando Einstein passeggiava con Gödel. Viaggio ai confini del pensiero | Mondadori | Milano | 2019.0319 |
5: | Cheng, E. L.-G. | L'arte della logica. Lo strumento pi potente per pensare, scegliere e agire | Ponte alle Grazie | Firenze | 2019.03 |
6. | Plebani, Matteo Berto, Francesco | Logica con i social network | Carocci | Roma | 2019 |
7. | Orlandelli, Eugenio Corsi, Giovanni | Corso di logica modale proposizionale | Carocci | Roma | 2019 |
8: | Odifreddi, P. | Il dio della logica. Vita geniale di Kurt Gödel matematico della filosofia | Longanesi | Milano | 2018.1 |
9: | Codenotti, Bruno Flandoli, Claudia | Io penso che tu creda che lei sappia. Logica e teoria della conoscenza per dialogare, ragionare e capirsi | Sironi | Milano | 2018.01 |
10. | Abrusci, M. V. Tortora De Falco, L. | Logica 02 Vol. 2: Incompletezza, teoria assiomatica degli insiemi | Springer-Verlag | 2018 | |
11. | Cheng, E. L.-G. | The Art of Logic | Profile Books | London | 2018 |
12. | Bocheński, J. M. | Nove lezioni di logica simbolica | ESD | Roma | 2017.1219 |
13. | Sgobba, Antonio | ?. Il paradosso dell'ignoranza sa Socrate a Google | Il Saggiatore | Milano | 2017 |
14. | Marletti, Carlo Moriconi, Enrico Mariani, Mauro | Argomenti di logica | Pisa University Press | Pisa | 2017 |
15: | Lemmon, Edward John | Elementi di logica | Laterza | Bari | 2017 |
16. | Boole. La logica matematica dei computer | Corriere della Sera | Milano | 2017 | |
17: | Ippoliti, Emiliano Cellucci, Carlo | Logica | Egea | Milano | 2016.09 |
18: | D'Agostini, F. | Logica in pratica. Esercizi per la filosofia e il ragionamento comune | Carocci | Roma | 2016.07 |
19: | Frixione, Marcello Iaquinto, Samuele Vignolo, M. | Introduzione alle logiche modali | Laterza | Bari | 2016.05 |
20. | Hosni, Hykel (ed.) Lolli, Gabriele (ed.) Toffalori, Carlo (ed.) | Le direzioni della ricerca logica in Italia | Edizioni della Normale | Pisa | 2016.031 |
21. | Ferrajoli, Luigi | La logica del diritto. Dieci aporie nell'opera di Hans Kelsen | Laterza | Bari | 2016 |
22: | Leonesi, Stefano Toffalori, Carlo | Logica a processo. Da Aristotele a Perry Mason | FrancoAngeli | Milano | 2016 |
23. | Legrenzi, Paolo Massarenti, Armando | La buona logica. Imparare a pensare | Cortina | Milano | 2015.09 |
24: | D'Agostini, F. | Le ali al pensiero. Introduzione alla logica | Carocci | Roma | 2015.05 |
25. | Borzacchini, Luigi | Il computer di Kant. Struttura della matematica e della logica moderne | Dedalo | Bari | 2015.05 |
26: | Berto, Francesco Bottai, Lorenzo | Che cos'è una contraddizione | Carocci | Roma | 2015.03 |
27. | Berti, Enrico | Contraddizione e dialettica negli antichi e nei moderni | Morcelliana | Bari | 2015 |
28. | Franchella, M. A. G. Russo, Laura | La logica in sintesi. Per ripassare e prepararsi ai test di ammissione all'Università | Zanichelli | Torino | 2015 |
29: | Palladino, Dario Palladino, Claudia | Logiche non classiche. Un'introduzione | Carocci | Roma | 2014.12 |
30. | Lolli, Gabriele (ed.) Panza, Marco (ed.) Venturi, Giorgio (ed.) | From Logic to Practice. Italian Studies in the Philosophy of Mathematics | Springer-Verlag | Cham | 2014.1129 |
31: | Aelius Galenus, | Introduzione alla logica | Mimesis Edizioni | Milano | 2014.1 |
32. | D'Agostini, F. | Paradossi | Carocci | Roma | 2014.05 |
33. | Abrusci, M. V. Tortora De Falco, L. | Logica 01 Vol. 1: Dimostrazioni e modelli alprimo ordine | Springer-Verlag | 2014 | |
34. | D'Agostini, F. | Logica in pratica. Esercizi per la filosofia e il ragionamento comune | Carocci | Roma | 2014 |
35. | D'Agostini, F. | Paradossi | Carocci | Roma | 2014 |
36. | Garbolino, Paolo | Probabilità e logica della prova | Giuffrè | Milano | 2014 |
37. | Lolli, Gabriele | Se viceversa. Trenta pezzi facili e meno facili di matematica | Bollati Boringhieri | Torino | 2014 |
38: | Putnam, H. W. | Che cos'è la logica | Mondadori Education | Milano | 2014 |
39. | Marconi, Diego (ed.) | Guida a Wittgenstein. Il «Tractatus» alle «Ricerche», Matematica, Regole e Linguaggio privato, Psicologia, Certezza, forme di vita | Laterza | Bari | 2014 |
40. | Pesce, Domenico Pozzi, L. | Primi elementi di logica formale antica e moderna | Le Monnier | Firenze | 2014 |
41. | Copi(lovich), I. M. Cohen, Carl McMahon, Kenneth | Introduction to Logic | Pearson Education | 2014 | |
42: | Magnani, Lorenzo (ed.) | Introduzione alla New Logic. Logica, filosofia, cognizione | Il Nuovo Melangolo | Genova | 2013.1 |
43: | Nagel, Ernest Newman, James Roy | La prova di Gödel | Bollati Boringhieri | Torino | 2013.09 |
44: | Boole, George | L'analisi matematica della logica (seguita da) Il calcolo logico | Bollati Boringhieri | Torino | 2013.04 |
45. | Burali-Forti, C. Lolli, Gabriele (ed.) | Logica matematica | Edizioni della Normale | Pisa | 2013.0227 |
46. | Cellucci, Carlo | Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method | Springer | New York | 2013 |
47. | Williamson, Timothy | Modal Logic as Metaphysics | Oxford University Press | Oxford | 2013 |
48: | Vasiliev, N. A. | Logica immaginaria | Carocci | Roma | 2012.1 |
49: | Matteuzzi, M. L. M. | La teoria della forma. Studio sull'invarianza dell'espressione | Aracne Editrice | Roma | 2012.05 |
50: | D'Agostini, F. | I mondi comunque possibili. Logica per la filosofia e il ragionamento comune | Bollati Boringhieri | Torino | 2012.02 |
51. | Marletti, Carlo Moriconi, Enrico Mariani, Mauro | Argomenti di logica | Pisa University Press | Pisa | 2012 |
52. | Franchella, M. A. G. | Con permesso. Forma, Norma e Libertà | LED | Milano | 2012 |
53. | Galvan, Sergio | Logica | Editrice La Scuola | Brescia | 2012 |
54. | Boccuni, Francesca | Logicismo plurale | Aracne Editrice | Ariccia | 2012 |
55. | Abrusci, M. V. | Logica. Lezioni di primo livello | CEDAM | Padova | 2012 |
56: | Boniolo, Giovanni Vidali, Paolo | Strumenti per ragionare. Logica e teoria dell'argomentazione | Bruno Mondadori | Milano | 2011.05 |
57. | Molè, Silvia | FallacieLogiche.it | Molè | Costanzana | 2011.0106 |
58. | Palladino, Dario Palladino, Claudia | Breve dizionario di logica | Carocci | Roma | 2011 |
59. | Timossi, R. G. | Imparare a ragionare. Un manuale di logica | Marietti 1820 | Genova | 2011 |
60. | Barker-Plummer, D. Barwire, Jon Etchemendy, John Liu, Albert Murray, Michael Pease, Emma | LPL Software Manual | CSLI Publications | Stanford | 2011 |
61: | Lolli, Gabriele | Da Euclide a Gödel | Il Mulino | Bologna | 2010.07 |
62: | Borzacchini, Luigi | Il computer di Ockham. Genesi e struttura della rivoluzione scientifica | Dedalo | Bari | 2010.02 |
63. | Servi, Mario | Lezioni di logica | Aracne Editrice | Levanto | 2010 |
64. | Magnani, Lorenzo (ed.) Carnielli, W. A. (ed.) Pizzi, C. E. A. (ed.) | Model-Based Reasoning in Science and Technology, Abduction, Logic, and Computational Discovery | Springer | Heidelberg | 2010 |
65. | Corsini, Paolo | Circuiti logici per le operazioni sui numeri naturali e sui numeri interi | ETS | Pisa | 2010 |
66. | Marletti, Carlo Moriconi, Enrico Mariani, Mauro | Argomenti di logica | Plus | Pisa | 2010 |
67: | Cryan, Dan Shatil, Sharron Mayblin, Bill Appignanesi, R. (ed.) | La logica a fumetti | Cortina | Milano | 2010 |
68. | Palladino, Dario | Corso di logica. Introduzione elementare al calcolo dei predicati | Carocci | Roma | 2010 |
69. | Berto, Francesco | L'esistenza non è logica. Dal quadrato rotondo ai mondi impossibili | Laterza | Bari | 2010 |
70: | Iacona, Andrea | L'argomentazione | Einaudi | Torino | 2010 |
71: | Copi(lovich), I. M. Cohen, Carl | Introduzione alla logica | Il Mulino | Bologna | 2009.11 |
72: | Cantini, Andrea Minari, Pierluigi | Introduzione alla logica. Linguaggio, significato, argomentazione | Le Monnier Università | Firenze | 2009.06 |
73: | Wittgenstein, L. J. J. | Tractatus logico-philosophicus e Quaderni (1914-1916) | Einaudi | Torino | 2009.06 |
74: | Berto, Francesco | Tutti pazzi per Gödel! La guida completa al teorema di incompletezza | Laterza | Bari | 2009.03 |
75: | Davies, Richard | Gli oggetti della logica. Il folclore della filosofia analitica | Mimesis Edizioni | Sesto San Giovanni | 2009 |
76. | Gabbay, Dov M. (ed.) Woods, John Hayden (ed.) | handbook of History of Logic 005 Vol. 5: Logic from Russell to Church | Elsevier Science Publishers | Amsterdam | 2009 |
77: | Berto, Francesco | Logica da zero a Gödel | Laterza | Bari | 2008.11 |
78: | Borzacchini, Luigi | Il computer di Platone. Alle origini del pensiero logico e matematico | Dedalo | Bari | 2008.09 |
79. | Cellucci, Carlo | Le ragioni della logica | Laterza | Bari | 2008 |
80: | Smullyan, R. M. | Qual è il titolo di questo libro? L'enigma di Dracula e altri indovinelli logici | RBA Italia | Milano | 2008 |
81. | Licata, Ignazio | La logica aperta della mente | Codice Edizioni | Torino | 2008 |
82. | Franchella, M. A. G. | I miei appunti di storia della logica | Cooperativa Universitaria Editrice Milanese | Milano | 2008 |
83: | Smullyan, R. M. | Donna o tigre?... e altri indovinelli logici, compreso un racconto matematico sul teorema di Gödel | RBA Italia | Milano | 2008 |
84: | Bencivenga, Ermanno | I delitti della logica | Bruno Mondadori | Milano | 2008 |
85. | Lemmon, Edward John | Elementi di logica. Con gli esercizi risolti | Laterza | Bari | 2008 |
86. | Guttenplan, Samuel | The Languages of Logic. An Introduction to Formal Logic | Basil Blackwell | Oxford | 2008 |
87: | Lolli, Gabriele | Sotto il segno di Gödel | Il Mulino | Bologna | 2007.09 |
88. | Duso, G. B. | La logica del potere. Storia concettuale come filosofia politica | Polimetrica | Monza | 2007 |
89. | Frixione, Marcello | Come ragioniamo | Laterza | Bari | 2007 |
90. | Berto, Francesco | How to Sell a Contradiction. The Logic and Metaphysics of Inconsistency | King's College Publications | London | 2007 |
91: | Leonesi, Stefano Toffalori, Carlo | Matematica, miracoli e paradossi. Storie di cardinali da Cantor a Gödel | Bruno Mondadori | Milano | 2007 |
92. | Guidi, Francesca | Foto dell'editore La Proposizione Di Godel | Lulu.com | United Kingdom | 2007 |
93. | Palladino, Claudia Palladino, Dario | Logiche non classiche. Un 'introduzione | Carocci | Roma | 2007 |
94: | Casari, Ettore | La matematica della verità. Strumenti matematici della semantica logica | Bollati Boringhieri | Torino | 2006.04 |
95. | Bencivenga, Ermanno | Dio in gioco. Logica e sovversione in Anselmo d'Aosta | Bollati Boringhieri | Torino | 2006 |
96. | Garson, J. W. | Modal Logic for Philosophers | Cambridge University Press | Cambridge | 2006 |
97. | Ballo, E. R. G. (ed.) Franchella, M. A. G. (ed.) | Logic and Philosophy in Italy. Some trends and perspectives. Essays in Honor of Corrado Mangione on his 75th Birthday | Polimetrica | 2006 | |
98: | Carlucci Aiello, L. Pirri, Fiora | Strutture, logica, linguaggi | Pearson Italia | Milano | 2005.09 |
99: | Rigamonti, Gianni | Corso di logica | Bollati Boringhieri | Torino | 2005.07 |
100. | MacDougall Hacking, I. | Introduzione alla probabilità e alla logica induttiva | Il Saggiatore | Milano | 2005 |
101: | Rak, Michele | Logica della fiaba. Fate, orchi, gioco, corte, fortuna, viaggio, capriccio, metamorfosi, corpo | Bruno Mondadori | Milano | 2005 |
102. | Newberger Goldstein, R. | Incompleteness. The Proof and Paradox of Kurt Gödel | Atlas Books | New York | 2005 |
103. | Varga, Tamás | Fondamenti di logica per insegnanti | Boringhieri | Torino | 2005 |
104. | Mangani, Nello | ReLog. Regole logiche nelle dimostrazioni matematiche | Libri liberi | Firenze | 2005 |
105. | Gabbay, Dov M. Woods, John Hayden | A Practical Logic of Cognitive Systems. Vol. 1: The Reach of Abduction: Insight and Trial | North-Holland Publishing Company | Amsterdam | 2005 |
106. | Palladino, Dario Palladino, Claudia | Breve dizionario di logica | Carocci | Roma | 2005 |
107. | Mendelson, Elliott | Introduzione alla logica matematica | Bollati Boringhieri | Torino | 2004.11 |
108: | Mendelson, Elliott | Introduzione alla logica matematica | Boringhieri | Torino | 2004.11 |
109: | Mariani, Mauro | Introduzione a Frege | Laterza | Bari | 2004.04 |
110. | Paoli, Francesco Dalla Chiara Scabia, M. L. Giuntini, Roberto | Sperimentare la logica | Liguori | Napoli | 2004 |
111. | Van Orman Quine, W. | Da un punto di vista logico | Cortina | Milano | 2004 |
112. | Plebe, Armando | Il linguaggio come calcolo. Dalla logica di Boole alle reti neuronali | Armando Armando Editore | Roma | 2004 |
113. | Lanciotti, C. Marazzani, Ines | Logica | Carocci | Roma | 2004 |
114: | Bolchini, Cristiana Brandolese, Carlo Salice, Fabio Sciuto, Donatella Kratter Thaler, A. (ed.) | Reti logiche | Apogeo | Milano | 2004 |
115. | Gabbay, Dov M. Woods, John Hayden | A Practical Logic of Cognitive Systems. Vol. 1: Agenda Relevance: An Essay in Formal Pragmatics | North-Holland Publishing Company | Amsterdam | 2003 |
116: | Odifreddi, P. | Il diavolo in Cattedra. La logica da Aristotele a Gödel | Einaudi | Torino | 2003 |
117: | Odifreddi, P. | Divertimento geometrico. Le origini geometriche della logica da Euclide a Hilbert | Bollati Boringhieri | Torino | 2003 |
118. | Linsky, Leonard (ed.) | Riferimento e modalità | Bompiani | Milano | 2003 |
119. | Berto, Francesco | Introduzione alla logica formale | Cafoscarina | Venezia | 2003 |
120: | Palladino, Dario | Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità | Carocci | Roma | 2003 |
121. | Boniolo, Giovanni | Strumenti per ragionare. Logica e teoria dell'argomentazione | Bruno Mondadori | Milano | 2002 |
122. | Palladino, Dario | Corso di logica. Introduzione elementare al calcolo dei predicati | Carocci | Roma | 2002 |
123: | Sedigraf, | Logica e matematica. Problemi d'allenamento | Edizioni Ciccio Riccio | Colognola ai Colli | 2001.1 |
124: | Mangani, Nello | Funzione e concetto. La funzione nella matematica e nella logica | Libri liberi | Firenze | 2001.04 |
125: | Manca, Vincenzo | Logica matematica. Strutture, rappresentazioni, deduzioni | Bollati Boringhieri | Torino | 2001.01 |
126. | Cryan, Dan Shatil, Sharron Mayblin, Bill Appignanesi, R. (ed.) | Introducing Logic. A Graphic Guide | Icon Books | London | 2001 |
127. | Goble, Lou (ed.) | The Blackwell Guide to Philosophical Logic | Basil Blackwell | Malden | 2001 |
128. | Negri, Maurizio | Logica. La Teoria Classica dell'Inferenza | LED | Milano | 2001 |
129. | Bellotti, L. Moriconi, Enrico Tesconi, L. | Computabilità, Lambda-definibiltà, ricorsività, indecidibilità | Carocci | Roma | 2001 |
130. | Moriconi, Enrico | L'incompletezza dell'aritmetica | 2001 | ||
131. | Magnani, Lorenzo | Abduction, Reason, and Science. Processes of Discovery and Explanation | Wolters Kluwer Academic Publishers | New York | 2001 |
132. | Petzold, Charles | Code. The Hidden Language of Computer Hardware and Software | 2000 | ||
133: | Davis, Martin David | Engines of Logic. Mathematicians and the Origin of the Computer | Norton Press | New York | 2000 |
134: | Devlin, Keith | Addio Cartesio. La fine della logica la ricerca di una nuova cosmologia della mente | Bollati Boringhieri | Torino | 1999.04 |
135. | Duso, G. B. | La logica del potere. Storia concettuale come filosofia politica | Laterza | Bari | 1999 |
136. | Varzi, Achille C. | An Essay in Universal Semantics | 1999 | ||
137. | Raspa, Venanzio | In-contraddizione. Il principio di contraddizione alle origini della nuova logica | Parnaso | Trieste | 1999 |
138: | Tagliasco, Vincenzo Vincenzi, Antonio | Dietro le formule... I discorsi della logica e della matematica | Bollati Boringhieri | Torino | 1998.05 |
139: | Agazzi, Evandro Vassallo, Nicla | George Boole. Filosofia, Logica, Matematica | FrancoAngeli | Milano | 1998 |
140. | Cellucci, Carlo | Le ragioni della logica | Laterza | Bari | 1998 |
141: | Gillies, Donald A. | Intelligenza artificiale e metodo scientifico | Cortina | Milano | 1998 |
142. | Bencivenga, Ermanno | I delitti della logica | Bruno Mondadori | Milano | 1998 |
143: | Hofstadter, D. R. | Gödel, Escher, Bach. Un'Eterna Ghirlanda Brillante. Una fuga metaforica su menti e macchine nello spirito di Lewis Carroll | Adelphi | Milano | 1997.04 |
144: | Casari, Ettore | Introduzione alla logica | UTET Libreria | Torino | 1997.04 |
145. | Devlin, Keith | Goodbye, Descartes: The End of Logic and the Search for a New Cosmology of the Mind | John Wiley and Sons | New York | 1997 |
146. | Bell, John Lane Machover, M. | A Course in Mathematical Logic | North-Holland Publishing Company | Amsterdam | 1997 |
147: | Mondadori, Marco D'Agostino, M. | Logica | Bruno Mondadori | Milano | 1997 |
148. | Varzi, Achille C. Nolt, John Rohatyn, Dennis A. | Theory and Problems o Logic | 1997 | ||
149. | Galvan, Sergio | Non contraddizione e terzo escluso. Le regole della negazione nella logica classica, intuizionistica e minimale | FrancoAngeli | Milano | 1997 |
150. | Magnani, Lorenzo Gennari, Rosella | Manuale di logica: Logica classica e del senso comune | Guerini Scientifica | Milano | 1997 |
151: | Montanari, Gisella | Logica delle proposizioni - strutture algebriche | Centro Programmazione Editoriale | San Prospero | 1997 |
152. | Guttenplan, Samuel | The Languages of Logic. An Introduction to Formal Logic | Basil Blackwell | Oxford | 1997 |
153: | Facco, Maria Luisa | Metafisica, logica, matematica. Leibniz, Boole, Rosmini | Marsilio Editori | Padova | 1997 |
154. | Haack, Susan | Deviant Logic, Fuzzy Logic: Beyond the Formalism | University of Chicago Press | Chicago | 1997 |
155: | De Angelis, V. | La logica della complessità. Introduzione alle teorie dei sistemi | Bruno Mondadori | Milano | 1996.09 |
156: | Giometti, Ruggero | Elettronica. La logica - Data Sheets | Calderini | Bologna | 1996.04 |
157. | Hughes, G. E. Cresswell, Max John | A New Introduction to Modal Logic | Routledge | London | 1996 |
158. | Cecchetto, C. | Grammatica e sintassi della forma logica | Tipolito Unipress | Padova | 1996 |
159: | Giometti, Ruggero Frascari, Francesco | Elettronica. La logica | Calderini | Bologna | 1995.05 |
160: | Sommavilla, Guido | Dio: una sfida logica | Rizzoli | Milano | 1995.01 |
161. | Borga, Marco | Fondamenti di logica. Introduzione alla teoria della dimostrazione | FrancoAngeli | Milano | 1995 |
162. | Vassallo, Nicla | La depsicologizzazione della logica: un confronto tra Boole e Frege | FrancoAngeli | Milano | 1995 |
163: | Casonato, Marco | Metafora | La Nuova Italia Scientifica | Roma | 1994.06 |
164. | Negri, Maurizio | Elementi di logica | LED | Milano | 1994 |
165. | Moriconi, Enrico | Discorso e significato. Introduzione alla logica contemporanea | Carocci | Roma | 1994 |
166. | Lolli, Gabriele | Incompletezza. Saggio su Kurt Gödel | Il Mulino | Bologna | 1994 |
167: | Mangione, Corrado Bozzi, Silvio | Storia della logica. Da Boole ai nostri giorni | Aldo Garzanti Editore | Milano | 1993.0212 |
168. | Bellissima, Fabio Pagli, Paolo | La verità trasmessa. La logica attraverso le dimostrazioni matematiche | Sansoni | Firenze | 1993 |
169. | Grice, Herbert Paul | Logica e conversazione. Saggi su intenzione, significato e comunicazione | Il Mulino | Bologna | 1993 |
170: | Oriolo, Paolo Coda, Angelo | Algebra e informatica con elementi di logica, probabilita' e statistica 01 Vol. 1. | Bruno Mondadori | Milano | 1993 |
171. | Boole, George | L'analisi matematica della logica | Bollati Boringhieri | Torino | 1993 |
172. | Moriconi, Enrico | Dimostrazioni e significato. Dimostrazioni e significato. Michael Dummett - Dag Prawitz - Per Martin-Löf | FrancoAngeli | Milano | 1993 |
173: | Oriolo, Paolo | Algebra e informatica con elementi di logica, probabilita' e statistica 02 Vol. 2. | Bruno Mondadori | Milano | 1993 |
174. | Bruschi, Alessandro | La metodologia povera. Logica causale e ricerca sociale | La Nuova Italia Scientifica | Roma | 1993 |
175: | Lolli, Gabriele | Cos'è la logica matematica. Filosofia della logica | Franco Muzzio Editore | Padova | 1992.06 |
176: | Abrusci, M. V. | Logica matematica. Corso introduttivo | Fratelli Laterza | Bari | 1992.02 |
177. | Galvan, Sergio | Introduzione ai teoremi di incompletezza | FrancoAngeli | Milano | 1992 |
178. | Smullyan, R. M. | The Lady or the Tiger? and other logic puzzles | Knopf | New York | 1992 |
179: | Catena, Pietro Dell'Anna, G. (ed.) | Universa loca in logicam Aristotelis in mathematicas disciplinas | Congedo Editore | Galatina | 1992 |
180. | Galvan, Sergio | Logiche intensionali. Sistemi proposizionali di logica modale, deontica, epistemica | FrancoAngeli | Milano | 1991 |
181. | Shanker, S. G. | Il teorema di Gödel. Una messa a fuoco | Franco Muzzio Editore | Padova | 1991 |
182: | Lolli, Gabriele | Introduzione alla logica formale | Il Mulino | Bologna | 1991 |
183. | Ballo, E. R. G. Casari, Ettore Cellucci, Carlo Dalla Chiara Scabia, M. L. Lolli, Gabriele Mangione, Corrado Mugnai, Massimo | 9 lezioni di logica. La logica nel suo sviluppo storico e concettuale | Franco Muzzio Editore | Padova | 1990 |
184. | Marsonet, Michele | La metafisica negata. Logica, ontologia, filosofia analitica | FrancoAngeli | Milano | 1990 |
185. | Agazzi, Evandro (ed.) | Logica matematica e logica filosofica | Editrice La Scuola | Brescia | 1990 |
186. | Hughes, G. E. Cresswell, Max John | Guida alla logica modale | CLUEB | Bologna | 1990 |
187: | Luttwak, E. N. | Strategia. Le logiche della guerra e della pace nel confronto tra le grandi potenze | Rizzoli | Milano | 1989.04 |
188. | Valent, Italo | Invito al pensiero di Wittgenstein | Ugo Mursia Editore | Milano | 1989 |
189. | Boolos, George S. Scriven, M. J. | Computability and Logic | Cambridge University Press | Cambridge | 1989 |
190. | Emanuele, Pietro | Logica e linguaggio nel pensiero di Strawson | 1989 | ||
191. | Gabbay, Dov M. Guenthner, Franz | Handbook of Philosophical Logic 04 (Vol. IV) | D. Reidel | Dordrecht | 1989 |
192. | Guenot, J. | Fondamenti dell'analisi. Logica matematica | Mediterrean Press | Commenda di Rende | 1988.11 |
193. | Shanker, S. G. | Gödel Theorem in Focus | Croom Helm | London | 1988 |
194: | Oriolo, Paolo Coda, Angelo | Algebra e informatica con elementi di logica, probabilita' e statistica 02 Vol. 2. | Bruno Mondadori | Milano | 1988 |
195: | Rizzi, Loris | Clausewitz l'arte miltare l'età nucleare. Logica e grammatica della guerra | Rizzoli | Milano | 1987.03 |
196: | Maracchia, Silvio | Breve storia della logica antica | Euroma La Goliardica | Roma | 1987 |
197. | Gerace, G. B. | La logica dei sistemi di elaborazione | Editori Riuniti | Roma | 1987 |
198: | Uspensky, V. A. | Gödel's Incompleteness Theorem | Mir Publishers | Mosca | 1987 |
199. | Pizzi, C. E. A. | Dalla logica della rilevanza alla logica condizionale | Euroma La Goliardica | Roma | 1987 |
200. | Simpson, R. L. | Essentials of Symbolic Logic | Routledge | 1987 | |
201. | Lolli, Gabriele | La macchina e le dimostrazioni. Matematica, logica e informatica | Il Mulino | Bologna | 1987 |
202: | Andronico, Marilena (ed.) Marconi, Diego (ed.) Penco, Carlo (ed.) | Capire Wittgenstein | Marietti 1820 | Genova | 1987 |
203. | Marconi, Diego | L'eredità di Wittgenstein | Laterza | Bari | 1987 |
204. | Enriques, A. G. U. F. | Per la storia della logica. I principii e l'ordine della scienza nel concetto dei pensatori matematici | Zanichelli | Bologna | 1986 |
205. | Vasa, Andrea Handjaras, Luciano (ed.) Marinotti, Amedeo (ed.) | Logica, scienze della natura e mondo della vita. Lezioni 1978/1980 | FrancoAngeli | Milano | 1986 |
206. | Hodges, W. A. | Logica | Aldo Garzanti Editore | Milano | 1986 |
207. | Bencivenga, Ermanno | Il primo libro di logica. Introduzione ai metodi della logica contemporanea | Boringhieri | Torino | 1986 |
208. | Schagrin, Norton L. Rapaport, W. J. Dipert, Randall R. | Logica e computer | McGraw-Hill Italia | Milano | 1986 |
209. | Guttenplan, Samuel | The Languages of Logic. An Introduction to Formal Logic | Basil Blackwell | Oxford | 1986 |
210. | Schagrin, Norton L. Rapaport, W. J. Dipert, Randall R. | Logic: A Computer Approach | McGraw-Hill Book Company | New York | 1985 |
211: | Carosi, G. P. | Logica | TI.E.S.S. | Subiaco | 1984.05 |
212. | Bencivenga, Ermanno | Free Logics | 1984 | ||
213. | Friedland, Aaron J. | Giochi di matematica e logica. 100 nuovi problemi | Sansoni | Firenze | 1984 |
214. | Hughes, G. E. Cresswell, Max John | A Companion to Modal Logic | 1984 | ||
215. | Hofstadter, D. R. | Gödel, Escher, Bach. Un'Eterna Ghirlanda Brillante. Una fuga metaforica su menti e macchine nello spirito di Lewis Carroll | Adelphi | Milano | 1984 |
216: | Agostini, Franco | Giochi logici e matematici | CDE | Milano | 1983.11 |
217. | Goe, George | Lezioni di logica | FrancoAngeli | Milano | 1983 |
218. | Haack, Susan | Filosofia delle logiche | FrancoAngeli | Milano | 1983 |
219. | Gabbay, Dov M. Guenthner, Franz | Handbook of Philosophical Logic 01 (Vol. I) | D. Reidel | Dordrecht | 1983 |
220. | Gabbay, Dov M. (ed.) Guenthner, Franz (ed.) | Handbook of Philosophical Logic, 16 voll. | D. Reidel | Dordrecht | 1983 |
221. | Scholz, Heinrich | Storia della logica | Laterza | Bari | 1983 |
222. | Hodges, W. A. | Elementary Predicate Logic | 1983 | ||
223. | Martelli, Paolo | La logica della scelta collettiva. Individui razionali e decisioni pubbliche | Il Saggiatore | Milano | 1983 |
224: | De Flora, Alberta | 44 gatti . Guida ai giochi dell'area logico-matematica per la scuola materna | SEI | Torino | 1982.1 |
225: | Prodi, Giorgio | La storia naturale della logica | Bompiani | Milano | 1982.08 |
226: | Celluprica, V. | La logica antica | Loescher | Torino | 1982 |
227: | Kripke, Saul Aaron | Nome e necessità | Bollati Boringhieri | Torino | 1982 |
228. | Cerroni, Umberto | Logica e società. Pensare dopo MArx | Bompiani | Milano | 1982 |
229. | Uspensky, V. A. | ru.[Gödel's Incompleteness Theorem] | Nauka | Mosca | 1982 |
230: | Bocheński, J. M. | La logica formale 2: La logica matematica | Einaudi | Torino | 1981.1017 |
231. | Agazzi, Evandro (ed.) Cellucci, Carlo (ed.) | Logiche moderne. Aspetti storici, filosofici e matematici della logica moderna e delle sue applicazioni 02 Volume secondo | Istituto dell'Enciclopedia Italiana | Roma | 1981.1 |
232: | Agazzi, Evandro (ed.) Cellucci, Carlo (ed.) | Logiche moderne. Aspetti storici, filosofici e matematici della logica moderna e delle sue applicazioni 01 Volume primo | Istituto dell'Enciclopedia Italiana | Roma | 1981.1 |
233: | Cagnoni, Donatella (ed.) | Teoria della dimostrazione | Feltrinelli | Milano | 1981.04 |
234: | Allwood, Jens Andersson, L.-G. Dahl, Östen | Logica e linguistica | Il Mulino | Bologna | 1981.02 |
235. | Marsonet, Michele | Logica e impegno ontologico. Saggio su S. Lesniewski | FrancoAngeli | Milano | 1981 |
236: | Bernardini, Sandro | Logica della conoscenza scientifica. Secondo la teoria di Karl R. Popper | Liguori | Napoli | 1980.12 |
237: | Stjažkin, N. I. | Storia della logica | Editori Riuniti | Roma | 1980.09 |
238: | Carruccio, Ettore | Mondi della logica | Zanichelli | Bologna | 1980.01 |
239. | Kripke, Saul Aaron | Naming and Necessity | 1980 | ||
240. | Shoenfield, J. R. | Logica matematica | Boringhieri | Torino | 1980 |
241. | Usberti, Gabriele | Logica, verità e paradosso | Feltrinelli | Milano | 1980 |
242: | Casari, Ettore (ed.) | Dalla logica alla metalogica. Scritti fondamentali di logica matematica | Sansoni | Firenze | 1979.04 |
243: | Lakatos, Imre Worrall, John (ed.) Zahar, Elie Georges (ed.) | Dimostrazioni e confutazioni. La logica della scoperta matematica | Feltrinelli | Milano | 1979.04 |
244: | Silvestrini, D. (ed.) | Individui e mondi possibili. Problemi di semantica modale | Feltrinelli | Milano | 1979.04 |
245: | Van Orman Quine, W. | Manuale di logica | Feltrinelli | Milano | 1979.02 |
246: | Dienes, Z. P. | Matematica viva. Gli insiemi e la loro logica | OS | Firenze | 1979 |
247. | Marconi, Diego | La formalizzazione dela dialettica. Hegel, Marx e la logica contemporanea | Rosenberg & Sellier | Torino | 1979 |
248: | Carroll, Lewis | The Annotated Alice | Penguin Books | London | 1979 |
249: | Cellucci, Carlo | Teoria della dimostrazione | Boringhieri | Torino | 1978.1 |
250: | Rogers, Robert | Logica matematica e teorie formalizzate. Un quadro generale dei concetti e dei risultati fondamentali | Feltrinelli | Milano | 1978.06 |
251: | Ciliberto, Carlo (ed.) | Verità e dimostrazione. Questioni di matematica | Le Scienze | Milano | 1978.04 |
252: | Freguglia, Paolo | L'algebra della logica. Un profilo storico | Editori Riuniti | Roma | 1978.04 |
253. | Lemmon, Edward John | Beginning Logic | Hackett | Cambridge | 1978 |
254. | Haack, Susan | Philosophy of Logics | Cambridge University Press | Cambridge | 1978 |
255. | Smullyan, R. M. | What is the Name of this Book? The Riddle of Dracula and Other Logical Puzzle | Prentice-Hall | Englewood Cliffs | 1978 |
256. | ITT - Federal Electric Corp., . | L'algebra booleana | FrancoAngeli | Milano | 1978 |
257: | Romiti, G. | Lezioni di logica. Introduzione alla filosofia | Pontificio Istituto Missioni Estere | Firenze | 1977.06 |
258. | Brémond, C. | Logica del racconto | Bompiani | Milano | 1977 |
259. | Russell, F. (. R. Whitehead, A. N. | Introduzione ai «principia mathematica» | La Nuova Italia | Firenze | 1977 |
260. | Harré, H. R. R. | Introduzione alla logica delle scienze | La Nuova Italia | Firenze | 1977 |
261. | Schaff, Adam | Teoria della conoscenza. Logica e semantica | Dedalo | Bari | 1977 |
262: | Ricciardi, G. M. Arzarello, F. Conte, Alberto Berruto, Gaetano Berretta, Monica Gabriele, Franco | Per una didattica interdisciplinare. Logica, matematica, linguistica, letteratura | Edizioni Stampatori | Bologna | 1977 |
263. | Hodges, W. A. | Logic | Penguin Books | New York | 1977 |
264. | Allwood, Jens | Logik för Lingvister | Cambridge University Press | Cambridge | 1977 |
265: | Varga, Tamás | Fondamenti di logica per insegnanti | Boringhieri | Torino | 1976.06 |
266: | Bencivenga, Ermanno (ed.) | Le logiche libere | Boringhieri | Torino | 1976.06 |
267: | Dalla Chiara Scabia, M. L. | Logica | ISEDI | Milano | 1976.03 |
268: | Boole, George | Indagine sulle leggi del pensiero, su cui sono fondate le teorie matematiche della logica e della probabilità | Einaudi | Torino | 1976.011 |
269: | Cellucci, Carlo Cordeschi, Roberto De Mauro, Tullio Freguglia, Paolo Giannantoni, G. Levi, Roberto Lombardo Radice, L. Centro di Iniziativa Democratica degli Insegnanti, . (ed.) | Introduzione alla logica | Editori Riuniti | Roma | 1976.01 |
270. | Marsonet, Michele | Introduzione alle logiche polivalenti | Abete | Roma | 1976 |
271: | Carsetti, Arturo | Logica linguaggio semantica | G. B. Palumbo & C. Editore | Palermo | 1976 |
272: | Amico, M. Bringheli, N. | Elementi di algebra di Boole e di logica matematica per la classe 4ª classe degli Istituti Tecnici Industriali (specializzazione elettronica) | Paccagnella | Bologna | 1975.11 |
273: | Van Orman Quine, W. Santambrogio, Marco (ed.) | I modi del paradosso e altri saggi | Il Saggiatore | Milano | 1975.05 |
274: | Hermes, Hans | Enumerabilità, decidibilità, computabilità | Boringhieri | Torino | 1975.04 |
275: | Hindley, J. Roger Lercher, Bruce Seldin, J. P. | Introduzione alla logica combinatoria | Boringhieri | Torino | 1975.03 |
276. | Noto, Antonino | Le logiche non classiche | Bulzoni | Roma | 1975 |
277: | Novikov, S. P. | Elementi di logica matematica | Editori Riuniti | Roma | 1975 |
278. | Kneller, G. F. | Logica e linguaggio della pedagogia | Editrice La Scuola | Brescia | 1975 |
279. | Lemmon, Edward John | Elementi di logica | Laterza | Bari | 1975 |
280. | Putnam, H. W. | Filosofia della logica: nominalismo e realismo nella logica contemporanea | ISEDI | Milano | 1975 |
281: | Mendelson, Elliott | Algebra di Boole e circuiti di commutazione | Etaslibri | Milano | 1974.12 |
282: | De Palma, Armando (ed.) | Linguaggio e sistemi formali. Teorie della linguistica matematica da Carnap a Chomsky | Einaudi | Torino | 1974.0706 |
283: | Robinson, Abraham | Introduzione alla teoria dei modelli e alla metamatematica dell'agebra | Boringhieri | Torino | 1974.01 |
284. | Wang, Hao | From Mathematics to Philosophy | Chelsea Publishing Company | London | 1974 |
285. | Pizzi, C. E. A. | La logica del tempo | Boringhieri | Bologna | 1974 |
286: | Fuchs, W. R. | Impariamo insieme La nuova logica | Rizzoli | Milano | 1973.1 |
287: | Blanché, R. | La logica e la sua storia. Da Aristotele a Russell | Casa Editrice Astrolabio - Ubaldini Editore | Roma | 1973.07 |
288: | Patzig, G. | Linguaggio e logica | Boringhieri | Torino | 1973.06 |
289: | Robert, Marguerite | Esperimenti di introduzione della logica nelle scuole elementari | Boringhieri | Torino | 1973.02 |
290: | Mugnai, Massimo | Leibniz e la logica simbolica | Sansoni | Firenze | 1973.01 |
291: | Shoenfield, J. R. | Mathematical Logic | John Wiley and Sons | New York | 1973.01 |
292. | Frege, F. L. G. Bonomi, Andrea (ed.) | Senso e denotazione | 1973 | ||
293: | Calabrese, Giuseppe | L'algebra di Boole. La logica applicata agli automatismi | Editoriale Delfino | Milano | 1973 |
294: | Hahn, Rolf | Sistemi circuitali elettronici. Principi, costruzione, impiego. | Etas Kompass | Milano | 1972.11 |
295: | Bocheński, J. M. | La logica formale 1: dai Presocratici a Leibniz | Einaudi | Torino | 1972.0715 |
296: | Kneale, W. C. Hurst Kneale, M. | Storia della logica | Einaudi | Torino | 1972.052 |
297: | Garulli, Enrico | Fra logica e storia | Argalìa | Urbino | 1972.0228 |
298: | Cianflone, Franco | L'algebra di Boole e i circuiti logici | ETAS | Milano | 1972.01 |
299. | Hindley, J. Roger Lercher, Bruce Seldin, J. P. Azzarello, F. | Introduction to Combinatory Logic | Cambridge University Press | London | 1972 |
300: | Jacob, F. | La logica del vivente. Storia dell'ereditarietà | Einaudi | Torino | 1971.0918 |
301: | Rosselli, Renato | Compendio di Logica | Sandron | Firenze | 1971.07 |
302: | Carnap, Rudolf Meotti, Alberto (ed.) Mondadori, Marco (ed.) | Analiticità, significanza, induzione | Il Mulino | Bologna | 1971.02 |
303. | Wittgenstein, L. J. J. | Osservazioni sopra i fondamenti della matematica | Einaudi | Torino | 1971 |
304. | Piaget, J. W. F. | Logica e psicologia | La Nuova Italia | Firenze | 1971 |
305. | Patzig, G. | Sprache und Logik | Vandenhoeck & Ruprecht | Gottinga | 1970 |
306. | Blanché, R. | La logique et son histoire d'Aristote à Russell | Libraire Armand Colin | Paris | 1970 |
307: | Popper, K. R. | Logica della scoperta scientifica. Il carattere autocorrettivo della scienza | Einaudi | Torino | 1970 |
308. | Jacob, F. | La logique du vivant. Une histoire de l'hérédité | Éditions Gallimard | Paris | 1970 |
309. | Mendelson, Elliott | Boolean Algebra and Switching Circuits | McGraw-Hill Book Company | New York | 1970 |
310: | Russell, F. (. R. | I principi della matematica | Longanesi | Milano | 1970 |
311. | Wang, Hao | Logic, Computers and Sets | Chelsea Publishing Company | New York | 1970 |
312: | Tarski, Alfred | Introduzione alla logica e alla metodologia delle scienze deduttive | Bompiani | Milano | 1969.07 |
313: | Carroll, Lewis | Il gioco della logica | Casa Editrice Astrolabio - Ubaldini Editore | Roma | 1969.07 |
314. | Hermes, Hans | Enumerability, Decidability, Computability | Springer-Verlag | Berlin | 1969 |
315. | Salmon, Wesley C. | Logica elementare | Il Mulino | Bologna | 1969 |
316: | Mangione, Corrado | Elementi di logica matematica | Boringhieri | Torino | 1968.12 |
317: | Blanché, R. | Logica e assiomatica | La Nuova Italia | Firenze | 1968.1 |
318: | Van Orman Quine, W. | Logica elementare | Casa Editrice Astrolabio - Ubaldini Editore | Roma | 1968.03 |
319: | Preti, Giulio | Retorica e logica. Le due culture | Einaudi | Torino | 1968.0127 |
320: | Nagel, Ernest | La struttura della scienza. Problemi di logica nella spiegazione scientifica | Feltrinelli | Milano | 1968.0115 |
321: | Dienes, Z. P. Golding, E. W. | Logica e giuochi logici | OS | Firenze | 1968.01 |
322. | Smullyan, R. M. | First Order Logic | Springer-Verlag | Berlin | 1968 |
323. | Hughes, G. E. Cresswell, Max John | An Introduction to Modal Logic | 1968 | ||
324. | Hughes, G. E. Cresswell, Max John | Introduzione alla logica modale | Il Saggiatore | Milano | 1968 |
325: | Plebe, Armando | Introduzione alla logica formale attraverso una lettura logistica di Aristotele | Laterza | Bari | 1966.09 |
326. | Van Orman Quine, W. | The Ways of Paradox and other Essays | Random House | New York | 1966 |
327: | Frege, F. L. G. Mangione, Corrado (ed.) | Logica e aritmetica | Boringhieri | Torino | 1965.12 |
328: | Dewey, John | Logica: Teoria dell’indagine | Einaudi | Torino | 1965.1116 |
329: | Pasquinelli, A. | Introduzione alla logica simbolica | Boringhieri | Torino | 1965.09 |
330. | Lemmon, Edward John | Beginning Logic | Thomas Nelson Publishers | Edinburgh | 1965 |
331. | Frege, F. L. G. | Ideografia [Begriffsschrift] | 1965 | ||
332. | Van Orman Quine, W. | Elementary Logic | Harvard University Press | Cambridge | 1965 |
333. | Frege, F. L. G. | I fondamenti dell'aritmetica. Una ricerca logico-matematica | 1965 | ||
334: | Casari, Ettore | Lineamenti di logica matematica | Feltrinelli | Milano | 1964.113 |
335: | Adler, Irving | Come pensano le macchine | Bompiani | Milano | 1964.1 |
336: | Russell, B. A. W. (. R. | Misticismo e logica e altri saggi | Longanesi | Milano | 1964.09 |
337. | Stjažkin, N. I. | Stanovlenie idej matematiceskoj logiki | Nauka | 1964 | |
338. | Mendelson, Elliott | Introduction to Mathematical Logic | 1964 | ||
339. | Copi(lovich), I. M. | Introduction to Logic | 1964 | ||
340. | Ramsey, F. P. | I fondamenti della matematica e altri scritti di logica | Feltrinelli | Milano | 1964 |
341. | Wittgenstein, L. J. J. | Tractatus logico-philosophicus e Quaderni (1914-1916) | Einaudi | Torino | 1964 |
342: | Agazzi, Evandro | La logica simbolica | Editrice La Scuola | Brescia | 1964 |
343: | Beth, Evert Willem | I fondamenti logici della matematica | Feltrinelli | Milano | 1963.033 |
344: | Russell, F. (. R. | I principi della matematica | Longanesi | Milano | 1963.01 |
345. | Robinson, Abraham | Introduction to Model Theory and to the Metamathematics of Algebra | North-Holland Publishing Company | Amsterdam | 1963 |
346. | Curry, H. B. | Foundations of mathematical logic | New York | 1963 | |
347. | Hermes, Hans | Einführung in die mathematische Logik | Stuttgart | 1963 | |
348. | Varga, Tamás | Matematikai Logika, Kezdöknek I | Tankönyvkiadó | Budapest | 1962 |
349: | Scholz, Heinrich | Storia della logica | Silva | Milano | 1962 |
350. | Beth, Evert Willem | Formal Methods | D. Reidel | Dordrecht | 1962 |
351: | Virieux-Reymond, A. | La logique formelle | PUF | Paris | 1962 |
352: | Strawson, P. F. | Introduzione alla teoria logica | Einaudi | Torino | 1961.0922 |
353: | Nagel, Ernest Newman, James Roy | La prova di Gödel | Boringhieri | Torino | 1961.05 |
354: | Carnap, Rudolf | La sintassi logica del linguaggio | Silva | Milano | 1961.01 |
355: | Ayer, A. J. F. | Linguaggio, verità e logica | Feltrinelli | Milano | 1961.01 |
356. | Scholz, Heinrich Hasenjäger, G. F. R. | Grundzüge der mathematischen Logik | Berlin | 1961 | |
357. | Hermes, Hans | Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit | Springer-Verlag | Berlin | 1961 |
358. | Rossi Monti, Paolo | Clavis universalis: Arti della memoria e logica combinatoria da Lullo a Leibniz | Milano | 1960 | |
359. | Novikov, S. P. | Elementy matematiceskoj logiki | Nauka | Mosca | 1959 |
360: | Faggiani, Dalberto | La struttura logica della fisica | Edizioni Scientifiche Einaudi | Torino | 1957.021 |
361: | Ladrière, J. | Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques | E. Nauwelaerts | Lovanio | 1957 |
362. | Casari, Ettore | Logica dei predicati | Centro di studi metodologici di Torino | Torino | 1957 |
363. | Blanché, R. | Introduction à la logique contemporaine | 1957 | ||
364. | Prior, A. N. | Time and Modallity | 1957 | ||
365. | Dubarle, R. P. | Initiation à la logique | Paris | 1957 | |
366. | Blanché, R. | Introduction à la logique contemporaine | Max Leclerc et Cie | Paris | 1957 |
367. | Bocheński, J. M. | Formale Logik | Verlag Karl Alber | Freiburg im Breisgau | 1956 |
368. | Church, Alonzo | Introduction to Mathematical Logic | Princeton University Press | Princeton | 1956 |
369. | Carnap, Rudolf | Fondamenti di logica e matematica | Paravia | Torino | 1956 |
370. | Beth, Evert Willem | Les fondements logiques des matématiques | Gauthier-Villars | Paris | 1955 |
371. | Prior, A. N. | Formal Logic | Oxford University Press | Oxford | 1955 |
372. | Blanché, R. | L'axiomatique | 1955 | ||
373: | Aristotele di Stagira, . Carlini, Armando (ed.) | Princìpi di logica | Laterza | Bari | 1954 |
374. | Copi(lovich), I. M. | Symbolic Logic | New York | 1954 | |
375. | Journal of Symbolic Logic::019 | 1954 | |||
376. | Notre Dame Journal of Formal Logic, 7 | 1954 | |||
377. | Copi(lovich), I. M. | Introduction to Logic | New York | 1953 | |
378: | Carruccio, Ettore | Corso di storia delle matematiche. Matematica e logica nella storia e nel pensiero contemporaneo | Gheroni Editore | Torino | 1952.121 |
379: | Bridgman, P. W. | La logica della fisica moderna | Edizioni Scientifiche Einaudi | Torino | 1952.0315 |
380. | Mostowski, Andrzej | Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel | North-Holland Publishing Company | Amsterdam | 1952 |
381. | Van Orman Quine, W. | Mathematical Logic | Cambridge | 1951 | |
382: | Weinberg, J. R. | Introduzione al positivismo logico | Einaudi | Torino | 1950.0727 |
383: | Weinberg, J. R. | Introduzione al positivismo logico | Einaudi | Torino | 1950.0727 |
384. | Van Orman Quine, W. | Methods of Logic | New York | 1950 | |
385. | Carnap, Rudolf | The Logical Foundations of Probability | University of Chicago Press | Chicago | 1950 |
386: | Demaria, Giovanni | Logica della produzione e della occupazione | Malfasi | Milano | 1950 |
387. | Hilbert, David Ackermann, W. F. | Grundzüge der theoretischen Logik | Berlin | 1949 | |
388: | Demaria, Giovanni | Principi generali di logica economica | Malfasi | Milano | 1948.09 |
389: | Calogero, Guido | Lezioni di filosofia 01 I. Logica Gnoseologia Ontologia | Einaudi | Torino | 1948.0129 |
390. | Piaget, J. W. F. | Le jugement et le raisonnement chez l'enfant | Delachaux et Niestlé | Neuchâtel | 1947 |
391: | Croce, Benedetto | Logica come scienza del concetto puro | Laterza | Bari | 1947 |
392. | Tarski, Alfred | Introduction to Logic and to the Methodology of Deductive Sciences | New York | 1946 | |
393. | Church, Alonzo | Introduction to Mathematical Logic | Princeton University Press | Princeton | 1944 |
394. | Cooley, John C. | A Primer of Formal Logic | New York | 1942 | |
395. | Tarski, Alfred | Introduction to Logic and to the Methodology of Deductive Sciences | New York | 1941 | |
396. | Van Orman Quine, W. | Mathematical Logic | New York | 1940 | |
397: | Orestano, Francesco | Nuove vedute logiche | Bocca | Torino | 1939 |
398. | Jourrnal of Symbolic Logic, vol. 4 | 1939 | |||
399. | Bocheński, J. M. | Nove lezioni di logica simbolica | Roma | 1938 | |
400. | Dewey, John | Logic: The Theory of Inquiry | Holt | New York | 1938 |
401. | Tarski, Alfred | Einführung in die Mathematische Logik und in die Methodologie der Mathematik | New York | 1937 | |
402. | Carnap, Rudolf | The Logical Syntax of Language | Routledge | London | 1937 |
403. | Church, Alonzo | An Unsolvable Problem of Elementary Number Theory | 1936 | ||
404. | Church, Alonzo | A Note on the Entscheidungsproblem | 1936 | ||
405. | Cohen, M. R. Nagel, Ernest | An Introduction to Logic and Scientific Method | New York | 1934 | |
406. | Carnap, Rudolf | Logische Syntax der Sprache | Vienna | 1934 | |
407. | Lewis, C. I. Langford, C. H. | Symbolic Logic | New York | 1932 | |
408. | Ramsey, F. P. | The Foundations of Mathematics and Other Logical Essays | Routledge | London | 1931 |
409. | Peirce, C. S. Hartshorne, Charles (ed.) Weiss, Paul (ed.) Burks, A. W. (ed.) | Collected Papers of Charles Sanders Peirce | Harvard University Press | Butler County | 1931 |
410. | Hilbert, David Ackermann, W. F. | Grundzüge der theoretischen Logik | Berlin | 1928 | |
411. | Russell, B. A. W. (. R. Whitehead, A. N. | Principia Mathematica | Cambridge University Press | Cambridge | 1925 |
412. | Enriques, A. G. U. F. | Per la storia della logica | Zanichelli | Bologna | 1922 |
413. | Russell, B. A. W. (. R. | Mysticism and Logic and Other Essays | Allen & Unwin | London | 1917 |
414. | Russell, F. (. R. Whitehead, A. N. | Principia Mathematica | Cambridge University Press | Cambridge | 1910 |
415. | Savio, Carlo Fedele | Logica raziociativa e induttiva ad uso dei licei, seminari e istituti tecnici | Libreria Editrice Francesco Ferrari | Roma | 1907 |
416. | Schröder, F. W. K. E. | Vorlesungen über die Algebra der Logik | 1890 | ||
417. | Frege, F. L. G. | Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens | Köbner | Wrocław | 1879 |
418. | Porfirio, | Isagoge | Sicilia | 268 | |
419. | Marruccelli, Aldo | teorie formalizzate e logica matematica | Studium | Roma | |
420: | Istituto IARD «Franco Brambilla», . | Apprendimento e linguaggio 03 Schede didattiche per la 3ª elementare | Il Mulino | Bologna | |
421. | Rinaldi Carini, R. | Conversazioni di matematica con gli insegnanti | Giunti Barbèra | Firenze | |
422. | Strawson, P. F. | Introduzione alla teoria logica | Einaudi | Torino | |
423. | Wittgenstein, L. J. J. | Tractatus logico-philosophicus e Quaderni (1914-1916) | Einaudi | Torino | |
424. | Dewey, John | Logica, teoria dell'indagine | Einaudi | Torino | |
425. | Gabbay, Dov M. Guenthner, Franz | Handbook of Philosophical Logic 02 (Vol. II) | D. Reidel | Dordrecht | |
426. | Pepe, Pietro | Calcolo degli enunciati. Algebra degli insiemi. Algebra delle matrici | Sansoni | Firenze | |
427. | Gabbay, Dov M. Guenthner, Franz | Handbook of Philosophical Logic 03 (Vol. III) | D. Reidel | Dordrecht | |
428. | Dotto, Gianni | Il secolo XII. Illuminismo logico e umanesimo del limite | Studium | Roma | |
429. | Smullyan, R. M. | Qual è titolo di questo libro? | Zanichelli | Bologna | |
430. | Dalla Chiara Scabia, M. L. | Logica | Mondadori | Milano | |
431. | Logica e ragionamento | Zanichelli | Bologna | ||
432. | Freud, S. S. (. | Psicoanalisi e società | Newton Compton | Roma | |
433. | Caramella, Santino | Logica | Morcelliana | Brescia | |
434. | Barcan Marcus, R. C. Linsky, Leonard (ed.) Føllesdal, D. Kaplan, D. B. Van Orman Quine, W. Kripke, Saul Aaron Hintikka, K. J. J. Smullyan, A. F. Parsons, Terence Church, Alonzo | Reference and Modality | Oxford University Press | ||
435. | Galvan, Sergio | Introduzione ai problemi di incompletezza | FrancoAngeli | Milano | |
436. | Agazzi, Evandro | Ragioni e limiti del formalismo. Saggi di filosofia della logica e della matematica | FrancoAngeli | Milano | |
437. | Panzarella, Massimo | Logica dei quantificatori dipendenti e indipendenti. Saggio critico-introduttivo alla logica filo-indipendente di Hintikka | FrancoAngeli | Milano | |
438. | Russell, B. A. W. (. R. | Misticismo e logica | Newton Compton | Roma | |
439. | Frixione, Marcello | Logica, significato e intelligenza artificiale | FrancoAngeli | Milano | |
440. | Rogers, Robert | Mathematical Logic and Formalized Theories | |||
441. | Penco, Carlo | Vie della scrittura. Frege e la svolta linguistica | FrancoAngeli | Milano | |
442. | Casari, Ettore | La logica stoica | ETS | Pisa | |
443. | Pinborg, Jan | Logica e semantica nel Medioevo | Boringhieri | Torino | |
444. | Acerbi, Fabio | La sintassi logica della matematica greca | |||
445. | Gödel, Kurt Lolli, Gabriele (ed.) Odifreddi, P. (ed.) | Kurt Gödel. La prova matematica dell'esistenza di Dio | Bollati Boringhieri | Torino | |
446. | Hegel, G. W. F. | Storia della logica 02 Vol. II. | Laterza | Bari | |
447. | Kant, Immanuel | Logica | Laterza | Bari | |
448. | Hilbert, David Ackermann, W. F. | Principles of Mathematical Logic | Chelsea Publishing Company | New York | |
449. | Gattico, Emilio | La costruzione del discorso quotidiano | Bruno Mondadori | Milano | |
450. | Aprosio, A. P. | Pinocchio nel paese dei paradossi. Viaggio tra le contraddizioni della logica | Sironi | Milano | |
451. | Croce, Benedetto | Logica come scienza del concetto puro | Laterza | Bari | |
452. | Hegel, G. W. F. | Storia della logica 01 Vol. I. | Laterza | Bari | |
453. | Carnap, Rudolf Hahn, Hans Neurath, O. K. W. | La concezione scientifica del mondo. Il Circolo di Vienna | Laterza | Bari | |
454. | Hegel, G. W. F. | Scienza della logica 02 Vol. II. | Laterza | Bari | |
455. | Hegel, G. W. F. | Scienza della logica 01 Vol. I. | Laterza | Bari | |
456. | Hegel, G. W. F. | Scienza della logica 03 Vol. III. | Laterza | Bari | |
457. | Mazzacua, Giorgio | Alle origini della logica matematica | Casa Editrice G. D'Anna | Messina | |
458. | Avalle, Rosetta | Alla fattoria logica | Airone | ||
459. | Formigari, Lia | La logica del pensiero vivente. Il linguaggio nella flosofia della Romantik | Laterza | Roma | |
460. | Dal Pra, Mario | Logica e realtà. Momenti del pensiero medievale | Laterza | Roma | |
461. | Carroll, Lewis | The Game of Logic | |||
462. | Tarozzi, Giuseppe | Sunti di logica | Cappelli | Bologna | |
463. | Fazioni, N. | Il problema della contingenza nella logica e nella filosofia del diritto di Hegel | |||
464. | Porfirio, | Isagoge Porphyrii translata (fragmenta) | |||
465. | Dummett, M. A. E. | Logical Basis of Metaphisics | |||
466. | Magon, Sebastiano | Guida all'uso dei blocchi logici | Atlas | Bergamo | |
467. | Trinchero, Mario | Il neopositivismo logico | Loescher | Torino | |
468. | Bruce, Colin | Sherlock Holmes e le trappole della logica | Cortina | Milano | |
469. | Legrenzi, Paolo Massarenti, Armando | La buona logica. Imparare a pensare | Cortina | Milano | |
470. | Gil, F. | La logica della convinzione | Cortina | Roma | |
471. | Casti, John L. DePauli-Schimanovich, W. | Gödel | Cortina | Milano | |
472. | Black, Max | Manuale per il «Tractatus» di Wittgenstein | Casa Editrice Astrolabio - Ubaldini Editore | Roma | |
473. | Bocheński, J. M. | Logica della religione | Casa Editrice Astrolabio - Ubaldini Editore | Roma | |
474. | ITT - Federal Electric Corp., . | Boolean Algebra. A Self-Instructional Programmed Manual | Prentice-Hall | Englewood Cliffs | |
475. | Dummett, M. A. E. Picardi, Eva (ed.) | La base logica della metafisica | Il Mulino | Bologna | |
476. | Von Prantl, Karl | Storia della logica in Occidente. Età medioevale: Parte prima | La Nuova Italia | Firenze | |
477. | Bridgman, P. W. | The Logic of Modern Physics | The MacMillan Company | New York | |
478. | Scholz, Heinrich | Abriss der Geschichte der Logik |