Risultati sintetici

Ricerca: Soggetti = Logica matematica

Risultati: 1-50 di 99

1 2 » »|

		1.	Manca, Vincenzo Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin Monografia - Testo a stampa [BRUM074467] Rimuovi da preferiti Aggiungi a preferiti
		2.	Wittgenstein, Ludwig Lezioni di Wittgenstein sui fondamenti della matematica : Cambridge 1939 / a cura di Cora Diamond ; dagli appunti di R. G. Bosanquet ... [et al.] Monografia - Testo a stampa [BRUM077262] Rimuovi da preferiti Aggiungi a preferiti
		3.	Frege, Gottlob Scritti postumi / Gottlob Frege ; a cura di Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, con la collaborazione di Gottfried Gabriel e Walburga Rödding ; edizione italiana a cura di Eva Picardi Napoli : Bibliopolis, ©1986, stampa 1987 Monografia - Testo a stampa [CFI0098841] Rimuovi da preferiti Aggiungi a preferiti
		4.	Roberts, Eric S. Il pensiero ricorsivo / Eric S. Roberts ; traduzione di Mario Rollino Milano : F. Angeli, ©1987 Monografia - Testo a stampa [CFI0116858] Rimuovi da preferiti Aggiungi a preferiti
		5.	Gödel, Kurt 1: 1929-1936 / Kurt Gödel Torino : Bollati Boringhieri, 1999 Fa parte di: Opere / Kurt Godel ; a cura di Solomon Feferman, con la collaborazione di John W. Dawson jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.] Monografia - Testo a stampa [CFI0468429] Rimuovi da preferiti Aggiungi a preferiti
		6.	Lupacchini, Rossella On the reasonable effectiveness of physics in the mathematical sciences / Rossella Lupacchini Bologna : Cooperativa Libraria Universitaria Editrice Bologna, [1999] Monografia - Testo a stampa [MIL0470030] Rimuovi da preferiti Aggiungi a preferiti
		7.	Modica, Salvatore <1957- > Unawareness / Salvatore Modica, Aldo Rustichini [S.l. : s.n.], 1992 Monografia - Testo a stampa [PAL0082046] Rimuovi da preferiti Aggiungi a preferiti
		8.	Millemaci, Sabrina Sottoinsiemi fuzzy / S. Millemaci, M. Cirrincione Palermo : CE.RI.S.E.P., 1994 Monografia - Testo a stampa [PAL0100860] Rimuovi da preferiti Aggiungi a preferiti
		9.	Aprile, Giuseppe <matematico> Sulle classi che appartengono a se stesse e l'antinomia del Russel / Giuseppe Aprile Palermo : Presso l'Accademia, 1973 Monografia - Testo a stampa [PAL0105886] Rimuovi da preferiti Aggiungi a preferiti
		10.	Millemaci, Sabrina La logica fuzzy e la sua applicazione per la gestione dei sistemi : atti degli incontri scientifici Ce.Ri.S.E.P., Palermo, 10-12-17 Ottobre 1994 / S. Millemaci Palermo : Ce.Ri.S.E.P., 1994 Monografia - Testo a stampa [PAL0109529] Rimuovi da preferiti Aggiungi a preferiti
		11.	Bennardo, Angela Logica sfumata e teoria dei sottoinsiemi sfumati / A. Bennardo [S.l. : s.n., 1993?] Monografia - Testo a stampa [PAL0117937] Rimuovi da preferiti Aggiungi a preferiti
		12.	Amato, Maria Stella Per una valutazione critica della logica matematica di Condillac / Maria Stella Amato Palermo : presso l'Accademia, 1965 Monografia - Testo a stampa [PAL0118320] Rimuovi da preferiti Aggiungi a preferiti
		13.	Di Leonardo, Maria Vittoria Appunti di logica matematica / a cura di Maria Vittoria Di Leonardo Palermo : Università di Palermo, Istituto di matematica, 1975 Monografia - Testo a stampa [PAL0296102] Rimuovi da preferiti Aggiungi a preferiti
		14.	Lewis, Clarence Irving Symbolic logic / by Clarence Irving Lewis and Cooper Harold Langford New York : Dover publications, ©1959 Monografia - Testo a stampa [PAL0336548] Rimuovi da preferiti Aggiungi a preferiti
		15.	Hunter, Geoffrey Metalogic : an introduction to the metatheory of standard first order logic / Geoffrey Hunter Berkeley [etc.] : University of California Press, 1996 Monografia - Testo a stampa [PAL0345301] Rimuovi da preferiti Aggiungi a preferiti
		16.	Mendelson, Elliott Introduction to mathematical logic / Elliott Mendelson London : Chapman & Hall, c2010 Monografia - Testo a stampa [PMI0005276] Rimuovi da preferiti Aggiungi a preferiti
		17.	Lorenzen, Paul Einfuhrung in die operative Logik und Mathematik / von Paul Lorenzen Berlin [etc.] : Springer, 1955 Monografia - Testo a stampa [PUV0036635] Rimuovi da preferiti Aggiungi a preferiti
		18.	Beth, Evert Willem Les fondements logiques des mathematiques / par E. W. Beth Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts, 1950 Monografia - Testo a stampa [PUV0039659] Rimuovi da preferiti Aggiungi a preferiti
		19.	Suranyi, Janos Reduktionstheorie des Entscheidungsproblems im Pradikatenkalkul der ersten Stufe / von Janos Suranyi Budapest : Ungarischen Akademie der Wissenschaften, 1959 Monografia - Testo a stampa [PUV0616138] Rimuovi da preferiti Aggiungi a preferiti
		20.	Ladrière, Jean Les limitations internes des formalismes : etude sur la signification du theoreme de Godel et des theoremes apparentes dans la theorie des fondements des mathematiques / par Jean Ladriere Louvain : E. Nauwelaerts ; Paris : Gauthier-Villars, 1957 Monografia - Testo a stampa [PUV0624605] Rimuovi da preferiti Aggiungi a preferiti
		21.	Kleene, Stephen Cole Introduction to metamathematics / by Stephen Cole Kleene Amsterdam : North-Holland publishing Co. ; Groningen : P. Noordhoff N.V., 1964 Monografia - Testo a stampa [PUV1337613] Rimuovi da preferiti Aggiungi a preferiti
		22.	Langer, Susanne K. An introduction to symbolic logic / Susanne K. Langer New York : Dover, 1953 Monografia - Testo a stampa [RMS0045603] Rimuovi da preferiti Aggiungi a preferiti
		23.	Dalla logica alla metalogica : scritti fondamentali di logica matematica / a cura di Ettore Casari Firenze : Sansoni, [1979] Monografia - Testo a stampa [SBL0336963] Rimuovi da preferiti Aggiungi a preferiti
		24.	Rosenbloom, Paul C. The elements of mathematical logic / Paul C. Rosenbloom New York : Dover publications, 1950 Monografia - Testo a stampa [TO00364778] Rimuovi da preferiti Aggiungi a preferiti
		25.	Suppes, Patrick Introduction to logic / by Patrick Suppes Princeton, N.J. ; London : Van Nostrand, c1957 Monografia - Testo a stampa [UFI0049820] Rimuovi da preferiti Aggiungi a preferiti
		26.	Kraft, Victor <1880-1975> Mathematik, Logik und Erfahrung / Victor Kraft Wien : Springer-Verlag, 1947 Monografia - Testo a stampa [UFI0467411] Rimuovi da preferiti Aggiungi a preferiti
		27.	Rassegna internazionale di logica = International logic review / Centro superiore di logica e scienze comparate Bologna : Franco Spisani, 1970-1987 Periodico - Testo a stampa [URB0064378] Rimuovi da preferiti Aggiungi a preferiti
		28.	Mares, Edwin D. Relevant logic : a philosophical interpretation / Edwin D. Mares Cambridge : Cambridge University Press, 2004 Monografia - Testo a stampa [USM1720137] Rimuovi da preferiti Aggiungi a preferiti
		29.	Gödel, Kurt Opere / Kurt Gödel ; a cura di Solomon Feferman, con la collaborazione di John W. Dawson jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.] Torino : Bollati Boringhieri Monografia - Testo a stampa [VIA0079889] Rimuovi da preferiti Aggiungi a preferiti
		30.	Bagni, Giorgio T. Introduzione alla logica e al linguaggio matematico / Giorgio T. Bagni, Daniele Gorla, Anna Labella Milano [etc.] : McGraw Hill, 2010, stampa 2009 Monografia - Testo a stampa [BVE0521683] Rimuovi da preferiti Aggiungi a preferiti
		31.	Bolzano, Bernard Del metodo matematico / Bernard Bolzano ; introduzione di Carlo Cellucci Torino : Boringhieri, 1985 Monografia - Testo a stampa [CFI0239590] Rimuovi da preferiti Aggiungi a preferiti
		32.	Nagel, Ernest Gödel's proof / by Ernest Nagel and James R. Newman London : Routledge & Kegan Paul, 1959 Monografia - Testo a stampa [TO00366636] Rimuovi da preferiti Aggiungi a preferiti
		33.	Lewis, Clarence Irving A survey of symbolic logic / by C. I. Lewis New York : Dover Publications, 1960 Monografia - Testo a stampa [UMC0429677] Rimuovi da preferiti Aggiungi a preferiti
		34.	Mariani, Mauro <1949- > Coerenza e completezza delle teorie elementari : la metateoria dei sistemi formali nella scuola hilbertiana / Mauro Mariani, Enrico Moriconi Pisa : ETS, [1984! Monografia - Testo a stampa [CFI0070343] Rimuovi da preferiti Aggiungi a preferiti
		35.	Campedelli, Luigi Fantasia e logica nella matematica / Luigi Campedelli Milano : Feltrinelli, 1966 Monografia - Testo a stampa [LIA0155762] Rimuovi da preferiti Aggiungi a preferiti
		36.	Carnap, Rudolf Introduction to symbolic logic and its applications / by Rudolf Carnap ; transl. by William H. Meyer and John Wilkinson New York : Dover Publ., 1958 Monografia - Testo a stampa [SBL0121989] Rimuovi da preferiti Aggiungi a preferiti
		37.	Ramsey, Frank Plumpton I fondamenti della matematica e altri scritti di logica / Frank P. Ramsey Milano : Feltrinelli, 1964 Monografia - Testo a stampa [SBL0253565] Rimuovi da preferiti Aggiungi a preferiti
		38.	Le logiche libere / a cura di Ermanno Bencivenga Torino : Boringhieri, 1976 Monografia - Testo a stampa [AQ10002852] Rimuovi da preferiti Aggiungi a preferiti
		39.	Wang, Hao Dalla matematica alla filosofia / Hao Wang Torino : Boringhieri, [1984] Monografia - Testo a stampa [CFI0059896] Rimuovi da preferiti Aggiungi a preferiti
		40.	Agazzi, Evandro La logica simbolica / Evandro Agazzi Brescia : La scuola, 1990 Monografia - Testo a stampa [CFI0179910] Rimuovi da preferiti Aggiungi a preferiti
		41.	Boole, George L' analisi matematica della logica / George Boole ; seguita da Il calcolo logico ; introduzione di Massimo Mugnai Torino : Bollati Boringhieri, 1993 Monografia - Testo a stampa [CFI0250099] Rimuovi da preferiti Aggiungi a preferiti
		42.	Peirce, Charles Santiago Sanders Scritti di logica / Charles Sanders Peirce ; a cura di Charles Hartshorne e Paul Weiss ; scelta e traduzione di Aurelia Monti ; introduzione di Corrado Mangione Firenze : La Nuova Italia, c1981 Monografia - Testo a stampa [FER0024266] Rimuovi da preferiti Aggiungi a preferiti
		43.	Cellucci, Carlo Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci Torino : Boringhieri, c1978 Monografia - Testo a stampa [MIL0103189] Rimuovi da preferiti Aggiungi a preferiti
		44.	Gödel, Kurt Scritti scelti : 1933-1964 / Kurt Gödel ; a cura di Gabriele Lolli Torino : Bollati Boringhieri, 2011 Monografia - Testo a stampa [MO10028051] Rimuovi da preferiti Aggiungi a preferiti
		45.	Burali-Forti, Cesare Logica matematica / Cesare Burali-Forti ; a cura e con una introduzione di Gabriele Lolli Pisa : Edizioni della Normale, 2012 Monografia - Testo a stampa [PIS0041782] Rimuovi da preferiti Aggiungi a preferiti
		46.	Mathematical interpretation of formal systems / Th. Skolem ... [et al.] Amsterdam : North-Holland, 1955 Monografia - Testo a stampa [PUV0036807] Rimuovi da preferiti Aggiungi a preferiti
		47.	Logiche moderne : aspetti storici, filosofici e matematici della logica moderna e delle sue applicazioni / \a cura di Evandro Agazzi, Carlo Cellucci! Roma : Istituto della enciclopedia italiana, 1981 Monografia - Testo a stampa [RAV0045470] Rimuovi da preferiti Aggiungi a preferiti
		48.	Makinson, David Clement <1941-> Temi fondamentali della logica moderna / David C. Makinson Torino : Boringhieri, 1979 Monografia - Testo a stampa [RAV0190789] Rimuovi da preferiti Aggiungi a preferiti
		49.	Sangalli, Arturo L' importanza di essere fuzzy : matematica e computer / Arturo Sangalli Torino : Bollati Boringhieri, 2000 Monografia - Testo a stampa [RAV0671881] Rimuovi da preferiti Aggiungi a preferiti
		50.	Bolzano, Bernard Del metodo matematico / Bernard Bolzano ; introduzione di Carlo Cellucci ; traduzione di Lorenzo Giotti Torino : Bollati Boringhieri, 2004 Monografia - Testo a stampa [RAV1260529] Rimuovi da preferiti Aggiungi a preferiti

Filtri

Biblioteca
Autore
- lolli, gabriele (8)
- casari, ettore <1933-2019> (5)
- carnap, rudolf (3)
- cellucci, carlo (3)
- godel, kurt (3)
  »
Soggetto
- logica matematica n (87)
- matematica - teorie i (3)
- logica matematica (2)
- algebra booleana e (1)
- calcolo i (1)
  »
Collezione
- saggi (8)
- testi e manuali della scienza contemporanea (4)
- filosofia della scienza (3)
- studies in logic and the foundations of mathematics (3)
- universale bollati boringhieri (3)
  »
Titolo uniforme
Luogo di pubblicazione
- torino (20)
- milano (17)
- bologna (8)
- new york (7)
- palermo (5)
  »
Editore
- bollati boringhieri (8)
- boringhieri (8)
- il mulino (5)
- feltrinelli (4)
- dover publications (3)
  »
Codice Dewey
- 511.3 (80)
- 160 (5)
- 510.1 (2)
- 511.3092 (2)
- 149 (1)
  »
Anno di pubblicazione
- 1964 (4)
- 1959 (3)
- 1965 (3)
- 1985 (3)
- 1987 (3)
  »
Livello bibliografico
- monografia (98)
- periodico (1)
Tipo di documento
- testo a stampa (99)
Lingua
- italiano (68)
- inglese (23)
- francese (5)
- tedesco (3)
- multilingue (1)
Paese
- italia (71)
- stati uniti (12)
- francia (4)
- gran bretagna (4)
- paesi bassi (4)
  »

1 2 » »|

Risultati: 1-50 di 99

Polo Regionale di Sicilia

Catalogo on-line

Menu Le mie ricerche

Menu Altri Cataloghi

Menu Progetti

Menu Help

Filtri