skip to main content
Lingue:

Risutati 1 - 10 di 6.105  per Tutte le collezioni

Risultati 1 2 3 4 5 next page
Mostra solo
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logica formale e trascendentale : saggio di critica della ragione logica
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Logica formale e trascendentale : saggio di critica della ragione logica

Husserl, Edmund

Milano etc. : Mimesis ; 2009

Disponibile in BRAU - Area Umanistica  Copia prestabile  39NAP_INST:21155087870003321()

2
Logiche non classiche : un'introduzione
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Logiche non classiche : un'introduzione

Palladino, Dario ; Palladino, Claudia

Roma : Carocci ; 2010

Disponibile in Area Ingegneria  Copia consultabile  39NAP_INST:21129267530003321 (e in altre biblioteche/più copie)()

3
Teoria della logica del prim'ordine
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Teoria della logica del prim'ordine

Iacona, Andrea ; Cavagnetto, Stefano

Roma : Carocci ; 2010

Disponibile in BRAU - Area Umanistica  Copia prestabile  39NAP_INST:21129267740003321()

4
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Introduzione alla logica e al linguaggio matematico

Bagni, Giorgio T. ; Gorla, Daniele ; Labella, Anna

Milano : McGraw-Hill ; 2010

Disponibile in Area Scienze  Copia consultabile  39NAP_INST:21157096680003321()

5
Modal logic for open minds
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Modal logic for open minds

Benthem, Johan van ; Van Benthem, Johan ; Benthem, J. F. A. K. van ; Van Benthem, J. F. A. K.

Stanford, California : CSLI Center for the study of language and information ; 2010

Disponibile in Area Scienze  Copia consultabile  39NAP_INST:21130055690003321 (e in altre biblioteche/più copie)()

6
A concise introduction to mathematical logic
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

A concise introduction to mathematical logic

Rautenberg, Wolfang

New York : Springer ; 2010

Disponibile in Matematica e Applicazioni  Copia prestabile  39NAP_INST:21128636030003321()

7
Quantification in nonclassical logic
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Quantification in nonclassical logic

Gabbay, Dov M. (1945- ) ; Shehtman, V. B. ; Skvortsov, D. P. ; Skvortsov, Dmitrij P. ; Shehtman, Valentin Borisovich

Amsterdam : Elsevier ; 2009

Disponibile in Matematica e Applicazioni  Copia prestabile  39NAP_INST:21127789830003321()

8
La ricerca logica in Italia : studi in onore di Corrado Mangione Milano, 10-11 settembre 2009
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

La ricerca logica in Italia : studi in onore di Corrado Mangione Milano, 10-11 settembre 2009

Mangione, Corrado (1930-2009) ; Ballo, Edoardo ; Cellucci, Carlo (1940- )

Milano : Cisalpino ; 2010

Disponibile in BRAU - Area Umanistica  Copia prestabile  39NAP_INST:21129125870003321()

9
Thinking about Gödel and Turing : essays on complexity, 1970-2007
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Thinking about Gödel and Turing : essays on complexity, 1970-2007

Chaitin, Gregory J. ; Davies, Paul

Hackensack, N.J. : World Scientific ; 2007

Disponibile in Bib. Stroffolini - Dip. Fisica  Copia prestabile  39NAP_INST:21129960350003321()

10
An introduction to Gödel's theorems
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

An introduction to Gödel's theorems

Smith, Peter

Cambridge : Cambridge university press ; 2007

Disponibile in Area Scienze  Copia consultabile  39NAP_INST:21130465230003321 (e in altre biblioteche/più copie)()

Risutati 1 - 10 di 6.105  per Tutte le collezioni

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i miei risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (1.678)
  2. Risorse online (4.983)
  3. Disponibile in biblioteca (1.117)

Argomento 

  1. Logic 
  2. LOGICA 
  3. Fuzzy Logic 
  4. Lógica 
  5. Ricorsività 
  6. Computer Science 
  7. Philosophy 
  8. Mathematical Logic 
  9. Àrees Temàtiques De La Upc 
  10. Artificial Intelligence 
  11. Lògica Matemàtica 
  12. Lógica Difusa 
  13. Congresses 
  14. Ai 
  15. Fondamenti della logica matematica e probabilità 
  16. Artificial Thinking 
  17. Mathematics 
  18. Mathematical Logic And Formal Languages 
  19. Logic, Symbolic And Mathematical 
  20. Informatics 
  21. Electronic Brains 
  22. Intellectronics 
  23. Intelligence, Artificial 
  24. Logica matematica 
  25. Computer programming 
  26. Logica e fondamenti 
  27. Filosofia 
  28. Algebra 
  29. Storia della logica e probabilità 
  30. Logique symbolique et mathématique 
  31. Epistemologia 
  32. wiskunde 
  33. Logica simbolica 
  34. LOGICA FUZZY 
  35. Metafisica 
  36. Logica - Filosofia 
  37. Informatica 
  38. Logica matematica - Fondamenti 
  39. Storia della filosofia 
  40. Matematica 
  41. Logica matematica e fondamenti 
  42. Intelligenza artificiale 
  43. Strutture algebriche 
  44. Psicologia 
  45. Teoria degli insiemi 
  46. Insiemi 
  47. Logica matematica - Congressi 
  48. Logica - Matematica 
  49. Logica - Storia 
  50. Logica matematica e fondamenti - Esposizione didattica 
  51. Wiskundige logica 
  52. Aristotele - Logica 
  53. Logica matematica e fondamenti - Presentazione di ricerche 
  54. Logica matematica - Manuali 
  55. Logica formale 
  56. Semantica 
  57. Logica classica del primo ordine 
  58. Teoria degli automi 
  59. Logica matematica - Filosofia 
  60. Teoria dei giochi 
  61. Logica - Medioevo 
  62. Teoria dei modelli 
  63. Psicologia infantile 
  64. Logica e metodologia 
  65. Logica matematica e fondamenti - Atti di conferenze 
  66. Matematici - 20. sec. - godel k. 
  67. Cibernetica 
  68. Programmazione logica 
  69. Logica algebrica 
  70. Linguaggi formali 
  71. Probabilità 
  72. Logica - Simbolica 
  73. Teoria degli insiemi - Manuali 
  74. Fondamenti delle scienze fisiche e naturali 
  75. Logica - Saggi 
  76. Teoria della ricorsivita' 
  77. Logica - Congressi 
  78. Analisi matematica 
  79. Matematica - Filosofia 
  80. Logica generale 
  81. Filosofia - Logica 
  82. Logica matematica e fondamenti - esposizione a livello avanzato 
  83. Metodologia della scienza - Congressi 
  84. Logica simbolica e matematica 
  85. Logica deontica 
  86. Semantica - Medioevo 
  87. Calcolo 
  88. Probabilità, Probabilità - teoria generale 
  89. Induzione - Logica 
  90. Scienza - Logica 
  91. Logica - Simbolica - Congressi 
  92. Logica pura del primo ordine 
  93. Hegel, Georg Wilhelm Friedrich - Logica 
  94. Induzione logica 
  95. Leibniz, Gottfried Wilhelm - Logica 
  96. Dialogo - Teorie 
  97. Applicazioni della teoria di modelli 
  98. Programmation (Informatique) 
  99. Collezioni di articoli di contenuto specifico vario 
  100. Semiotica letteraria 
  101. Proprietà base dei linguaggi e delle strutture del primo ordine 
  102. Generale - Esposizione didattica 
  103. Matematica - Logica 
  104. Trattati 
  105. Filosofia della scienza - Congressi 
  106. Teoria della dimostrabilita 
  107. Stoicismo - Logica 
  108. Linguistica - Logica 
  109. Opere 
  110. Teoria delle macchine 
  111. Stoici - Logica 
  112. Raccolte 
  113. Logica modale 
  114. Funzioni ricorsive 
  115. Altre opzioni open sub menu

Autore 

  1. Carnap, Rudolf (1891-1970) 
  2. Hintikka, Jaakko 
  3. Tarski, Alfred (1901-1983) 
  4. Beth, Evert Willem 
  5. Bochenski, Joseph M. (1902- ) 
  6. Bochenski, Innocentius M. 
  7. Miche, Józef 
  8. Russell, Bertrand Arthur William 
  9. Russell, Bertrand A.W. 
  10. Casari, Ettore 
  11. Russell, Bertrand (1872-1970) 
  12. Apostel, Léo 
  13. Crossley, John Newsome 
  14. Gödel, Kurt 
  15. Hermes, Hans 
  16. Suppes, Patrick 
  17. Von Wright, Georg Hendrik 
  18. Quine, Willard Van Orman (1908-2000) 
  19. Aristotele (384-322 a. C.) 
  20. Piaget, Jean (1896-1980) 
  21. Wright, Georg Henrik von (1916-2003) 
  22. Wright, G. H. von 
  23. Aristoteles (384-322 a. C.) 
  24. Lolli, Gabriele 
  25. Boole, George 
  26. Curry, Haskell B. 
  27. Odifreddi, Piergiorgio (1950- ) 
  28. Pseudo-Aristotele (384-322 a. C.) 
  29. Von Wright, G. H. 
  30. Keisler, Howard Jerome (1936- ) 
  31. Bar-Hillel, Yehoshua 
  32. Mugnai, Massimo 
  33. Troelstra, Anne Sjerp 
  34. Association for symbolic logic 
  35. Wittgenstein, Ludwig (1889-1951) 
  36. Hilbert, David 
  37. Mangione, Corrado (1930-2009) 
  38. Henkin, Leon 
  39. Robinson, Abraham 
  40. Heyting, Arend 
  41. Wang, Hao 
  42. Black, Max 
  43. Dalla Chiara Scabia, Maria Luisa 
  44. Fenstad, Jens Erik 
  45. Davis, Martin (1928- ) 
  46. Goodstein, R.l. 
  47. Davis, Martin D. (1928- ) 
  48. Agazzi, Evandro (1934- ) 
  49. Frege, Gottlob (1848-1925) 
  50. Dalla Chiara, Maria Luisa 
  51. Rosser, John Barkley (1907-1989) 
  52. Orman, Willard van Quine (1908-2000) 
  53. Magnani, Lorenzo 
  54. Schütte, Kurt 
  55. Dalen, Dirk van (1932- ) 
  56. Lorenzen, Paul 
  57. Benthem, Johan van 
  58. Benthem, J. F. A. K. van 
  59. Van Benthem, J. F. A. K. 
  60. Lemmon, Edward John 
  61. Cooper, S. Barry 
  62. Van Benthem, Johan 
  63. Freudenthal, Hans (1905-1990) 
  64. Abrusci, Vito Michele 
  65. Grana, Nicola 
  66. Ackermann, Wilhelm (1896-1962) 
  67. Smullyan, Raymond M. 
  68. Lukasiewicz, Jan 
  69. Orman Quine, Willard van 
  70. Vuillemin, Jules (1920-2001) 
  71. Palladino, Dario 
  72. Cellucci, Carlo (1940- ) 
  73. Rescher, Nicholas (1928- ) 
  74. Pasquinelli, Alberto 
  75. Sacks, Gerald E. 
  76. Addison, J. W. 
  77. Linsky, Leonard 
  78. Scholz, Heinrich 
  79. Geymonat, Ludovico (1908-1991) 
  80. Minio-Paluello, Lorenzo (1907-1986) 
  81. Schutte, Karl 
  82. Heijenoort, Jean : van 
  83. Mostowski, Andrzej 
  84. Minio Paluello, Laurentius 
  85. Salmon, Wesley C. 
  86. Gauthier, Yvon 
  87. Novikov, Petr Sergeevich (1901-1975) 
  88. Hasenjaeger, Gisbert 
  89. Feys, Robert 
  90. Conte, Alberto 
  91. Fraïssé, Roland (1920-2008) 
  92. Malatesta, Michele 
  93. Shoenfield, Joseph Robert 
  94. Müller, Gert Heinz 
  95. Weyl, Hermann (1885-1995) 
  96. Novikov, P. S. 1901-1975) 
  97. Seldin, Jonathan Paul 
  98. Pólya, Georg 
  99. Lakatos, Imre (1922-1974) 
  100. Blanché, Robert 
  101. Altre opzioni open sub menu

Anno 

Da A
  1. Prima1958 
  2. 1958a1972 
  3. 1973a1987 
  4. 1988a2003 
  5. Dopo 2003 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

da questo autore/creatore:

  1. Carnap, Rudolf (1891-1970)
  2. Hintikka, Jaakko
  3. Tarski, Alfred (1901-1983)
  4. Beth, Evert Willem
  5. Bochenski, Joseph M. (1902- )

Ricerca in corso nelle risorse remote ...