| Vai direttamente ai contenuti della pagina |

Torna alle ricerche nel catalogo
OPAC - Catalogo Unico Pavese
Le ricerche
UtilitÓ

Risultati ricerca

Espressione di ricerca: ((AREA=SCI) OR (AREA=MED) OR (AREA=ESG) OR (AREA=UMA)) AND (CD=511.3$ OR LO=511.3$) Risultato ricerca: 243 Lunghezza lista: 30 Ordinamento: Data (decrescente), Autore, Titolo
Seleziona uno o pi¨ documenti

 

3/243  
Berto, Francesco [1973- ] . Tutti pazzi per G÷del] : la guida completa al Teorema di incompletezza / Francesco Berto. - Roma ; Bari : GLF editori Laterza, 2008. - XV, 270 p. ; 21 cm. - (I Robinson. Letture)
Classificazione: 511.3092 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA). Persone]

Ateneo. Scienza e Tecnica: Matematica E.1 /l/6

4/243  
Varzi, Achille C. - Rohatyn, Dennis - Nolt, John . Logica / Achille Varzi, John Nolt, Dennis Rohatyn. - 2. ed. - Milano : McGraw-Hill, [2007]. - XII, 342 p. ; 25 cm.. - (Collana di istruzione scientifica. Serie di scienze umane)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Economia: 030 02342

5/243  
Flum, Jorg - Grohe, Martin . Parameterized complexity theory / J. Flum, M. Grohe. - Berlin [etc.] : Springer, c2006. - XIII, 493 p. : ill. ; 24 cm.. - (Texts in theoretical computer science : an EATCS series)

Ateneo. Scienza e Tecnica: Tamburo 511.3 FLUpar 2006

7/243  
Equilibrio perfetto : le grandi equazioni della scienza moderna / a cura di Graham Farmelo ; traduzione di Libero Sosio. - Milano : Il saggiatore, [2005]. - 382 p. ; 22 cm.. - (Nuovi saggi)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Scienza e Tecnica: Matematica B.2 /l/1

Vigevano. "L. Mastronardi": A_511.3_EQU

8/243  
Frege e il neologicismo / a cura di Andrea Pedeferri. - Milano : F. Angeli, [2005]. - 270 p. ; 23 cm.. - (Epistemologia ; 86)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. E.ST.FREGE 14

9/243  
Peano, Giuseppe . Carteggio (1896-1914) / Giuseppe Peano, Louis Couturat ; a cura di Erika Luciano e Clara Silvia Roero. - Firenze : L. S. OLschki, 2005. - LXIX, 254 p. ; 22 cm. - (Archivio della corrispondenza degli scienziati italiani ; 16)
Classificazione: 510.92 [D] [MATEMATICA. Persone] | 511.3092 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA). Persone]

Pavia. Universitaria: CMOD. 8. - 222 / 16

Ateneo. Studi umanistici - Petrarca: S. Tommaso E.12 01213

10/243  
Varga, Tamßs . Fondamenti di logica per insegnanti / Tamßs Varga. - 2. ed. - Torino : Bollati Boringhieri, 2005. - 182 p. ; 22 cm. - (Nuova didattica. Scienze)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia T.ED.PER. PE. 2658

Vigevano. "L. Mastronardi": A_511.3_VAR

12/243  
Casalegno, Paolo - Mariani, Mauro . Teoria degli insiemi : un'introduzione / Paolo Casalegno, Mauro Mariani. - Roma : Carocci, 2004. - 263 p. ; 22 cm.. - (UniversitÓ ; 620)
Classificazione: 511.322 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA). TEORIA DEGL'INSIEMI]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia PSY 5.A 128

13/243  
Lolli, Gabriele . Da Euclide a Godel / Gabriele Lolli. - Bologna : Il mulino, [2004]. - 189 p. ; 22 cm.. - (Saggi ; 621)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)] | 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)] | 511.3092 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA). Persone]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. ST.SC.II 652

Pavia. Istituto Tecnico Industriale 'Cardano': BC 18898

14/243  
Bolzano, Bernard . I paradossi dell'infinito / Bernard Bolzano ; a cura di Alberto Conte. - Torino : Bollati Boringhieri, 2003. - 147 p. ; 20 cm.. - (Universale Bollati Boringhieri ; 275)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia FIL.TEOR. F.S.E.III 988

Vigevano. "L. Mastronardi": A_511.3_BOL

15/243  
Donati, Stefano [1957- ] . I fondamenti della matematica nel logicismo di Bertrand Russell / Stefano Donati. - Firenze : Firenze Atheneum, stampa 2003. - 988 p. ; 24 cm.. - (Oxenford ; 125 )
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)] | 510.1 [D] [MATEMATICA. Filosofia e teoria]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. E.ST.RUSSELL 14

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia STOR.FIL. E.ST.RUSSELL 14 bis

Ateneo. Scienza e Tecnica: Matematica E.1 /l/3

17/243  
Crespi Reghizzi, Stefano . Linguaggi formali nelle scienze della comunicazione / Stefano Crespi Reghizzi. - Bologna : Zanichelli, 2002. - XII, 276 p. ; 24 cm.. - (Testi e manuali)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Pavia. Universitaria: PAPIA C 19131

Ateneo. Studi umanistici - Petrarca: Letteratura ST.LING.IT 7 Crespi_Reghizzi 1

Vigevano. "L. Mastronardi": A_511.3_CRE

18/243  
Wittgenstein, Ludwig . Lezioni di Wittgenstein sui fondamenti della matematica : Cambridge 1939 / a cura di Cora Diamond ; dagli appunti di R. G. Bosanquet ... et al.!. - Torino : Boringhieri, 2002. - 314 p. ; ill. ; 20 cm. - (Universale Bollati Boringhieri ; 274)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Scienza e Tecnica: Matematica E.1 /l/2

19/243  
Wolfram, Stephen [1959-] . A new kind of science / Stephen Wolfram. - Champaign (IL) : Wolfram media, c2002. - XIV, 1197, [66] p. : ill. ; 25 cm.
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Tamburo 511.35 WOLnew 2002

20/243  
Gottwald, Siegfried . A Treatise on many-valued logics / Siegfried Gottwald. - Baldock, Hertfordshire : Research studies press, ę2001. - XII, 604 p. ; 24 cm.. - (Studies in logic and computation ; 9)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.1 /l/4

22/243  
Manca, Vincenzo [1949- ] . Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin. - Torino : Bollati Boringhieri, 2001. - 200 p. ; 22 cm.. - (Nuova didattica. Scienze)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Scienza e Tecnica: Matematica E.0 /l/2

23/243  
Cignoli, Roberto L. O. - D'Ottaviano, Itala M. L. - Mundici, Daniele [1946- ] . Algebraic foundations of many-valued-reasoning / Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici. - Dordrecht [etc.! : Kluwer academic publishers, c2000. - IX, 231 p. ; 25 cm.. - (Trends in logic : Studia logica library ; 7)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)] | 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Economia: 261 00052

24/243  
Sangalli, Arturo . L'importanza di essere fuzzy : matematica e computer / Arturo Sangalli. - Torino : Bollati Boringhieri, 2000. - 196 p. : ill. ; 22 cm.. - (Saggi. Scienze)
Classificazione: 511.3 [D] [LOGICA MATEMATICA (LOGICA SIMBOLICA)]

Ateneo. Economia: 278 00037

Ateneo. Studi umanistici - Petrarca: Letteratura DEP.IT. 1 INFORMATICA 25

Ateneo. Scienza e Tecnica: Matematica P.0 /l/1

Ateneo. Giurisprudenza: Sez. Economia pubblica B 2.G 00101

25/243  
Toffalori, Carlo - Cintioli, Patrizio . Logica matematica / Carlo Toffalori, Patrizio Cintioli, - Milano : McGraw-Hill 2000. - IX, 195 p. ; 24 cm.. - (Collana di istruzione scientifica. Serie di matematica)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)] | 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Economia: 261 00050

26/243  
Downey, R. G. - Fellows, M. R. . Parameterized complexity / R. G. Downey, M. R. Fellows. - New York \etc.! : Springer, c1999. - XV, 533 p. ; 24 cm.. - (Monographs in computer science)
Classificazione: 004.015113 [D] | 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Tamburo 511.3 DOWpar 1999

27/243  
5: Logic programming / edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson. - Oxford : Clarendon press, 1998. - XV, 799 p. ; 24 cm.
Fa parte di: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C. J. Hogger and J. A. Robinson
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Studi umanistici - Boezio: Filosofia e Psicologia FIL.TEOR. F.S.E. III 803.5.

28/243  
Hßjek, Petr . Metamathematics of fuzzy logic / Petr Hajek. - Dordrecht ; Boston ; London : Kluwer Academic, 1998. - VIII, 297 p. ; 24 cm.. - (Trends in logic : Studia logica library ; 4)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Ingegneria AI5 00055 0

Ateneo. Scienza e Tecnica: Matematica E.1 /i/7

29/243  
Marcja, Annalisa - Toffalori, Carlo . Introduzione alla teoria dei modelli / Annalisa Marcja, Carlo Toffalori. - Bologna : Pitagora, 1998. - V, 250 p. ; 24 cm.. - (Quaderni dell'Unione matematica italiana ; 43)
Classificazione: 511.3 [D] [LOGICA SIMBOLICA (LOGICA MATEMATICA)]

Ateneo. Scienza e Tecnica: Matematica E.1 /i/6

30/243  
Srivastava, Sashi Mohan . A course on Borel sets / S. M. Srivastava. - New York [etc.] : Springer, c1998. - XVI, 261 p. ; 24 cm.. - (Graduate texts in mathematics ; 180)
Classificazione: 511.32 [D] [Logica matematica (Logica simbolica). Insiemi.]

Ateneo. Scienza e Tecnica: Matematica E.2 /i/2

Ateneo. Scienza e Tecnica: Matematica E.2 /i/2 bis

 

Seleziona uno o pi¨ documenti

 

Tempo di elaborazione: 1 secondo
OPAC - Catalogo Unico Pavese - Ultimo aggiornamento: 21-09-2017 05:12:03 - Schede in OPAC:  1800967
EasyWeb Five © 5.6.3 - 1994-2017 è un prodotto Nexus IT

Valid XHTML 1.0 Strict | Valid CSS!| Validazione WAI-AAA WCAG 1.0