skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Risutati 1 - 10 di 5.366  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 5.366  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.377)
  2. Risorse online (4.244)
  3. Disponibile in biblioteca (1.117)

Argomento 

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

Autore 

  1. Gil Lafuente, Anna Maria 
  2. Merigó Lindahl, José M. 
  3. Universitat De Barcelona. Departament De Lògica, Història I Filosofia De La Ciència 
  4. Carnap, Rudolf (1891-1970) 
  5. Hintikka, Jaakko 
  6. Tarski, Alfred (1901-1983) 
  7. Beth, Evert Willem 
  8. López Astorga, Miguel 
  9. Bochenski, Joseph M. (1902- ) 
  10. Bochenski, Innocentius M. 
  11. Miche, Józef 
  12. Russell, Bertrand Arthur William 
  13. Russell, Bertrand A.W. 
  14. Casari, Ettore 
  15. Russell, Bertrand (1872-1970) 
  16. Agemir Bavaresco 
  17. Apostel, Léo 
  18. Crossley, John Newsome 
  19. Gödel, Kurt 
  20. Hermes, Hans 
  21. Suppes, Patrick 
  22. Von Wright, Georg Hendrik 
  23. Quine, Willard Van Orman (1908-2000) 
  24. Aristotele (384-322 a. C.) 
  25. Piaget, Jean (1896-1980) 
  26. Wright, Georg Henrik von (1916-2003) 
  27. Wright, G. H. von 
  28. Aristoteles (384-322 a. C.) 
  29. Flores Payán, Lucio 
  30. Lolli, Gabriele 
  31. Boole, George 
  32. Curry, Haskell B. 
  33. Odifreddi, Piergiorgio (1950- ) 
  34. Pseudo-Aristotele (384-322 a. C.) 
  35. Von Wright, G. H. 
  36. Keisler, Howard Jerome (1936- ) 
  37. Dalla Chiara, Maria Luisa 
  38. Bar-Hillel, Yehoshua 
  39. Mugnai, Massimo 
  40. Troelstra, Anne Sjerp 
  41. Association for symbolic logic 
  42. Campos Vargas, Henry 
  43. Wittgenstein, Ludwig (1889-1951) 
  44. Hilbert, David 
  45. Benthem, Johan van 
  46. Mangione, Corrado (1930-2009) 
  47. Henkin, Leon 
  48. Robinson, Abraham 
  49. Heyting, Arend 
  50. Wang, Hao 
  51. Black, Max 
  52. Dalla Chiara Scabia, Maria Luisa 
  53. Fenstad, Jens Erik 
  54. Davis, Martin (1928- ) 
  55. Goodstein, R.l. 
  56. Davis, Martin D. (1928- ) 
  57. Agazzi, Evandro (1934- ) 
  58. Frege, Gottlob (1848-1925) 
  59. Rosser, John Barkley (1907-1989) 
  60. Orman, Willard van Quine (1908-2000) 
  61. Magnani, Lorenzo 
  62. Schütte, Kurt 
  63. Dalen, Dirk van (1932- ) 
  64. Lorenzen, Paul 
  65. Benthem, J. F. A. K. van 
  66. Van Benthem, J. F. A. K. 
  67. Lemmon, Edward John 
  68. Cooper, S. Barry 
  69. Van Benthem, Johan 
  70. Freudenthal, Hans (1905-1990) 
  71. Abrusci, Vito Michele 
  72. Grana, Nicola 
  73. Ackermann, Wilhelm (1896-1962) 
  74. Nascimento, Luiz Fernando Costa 
  75. Smullyan, Raymond M. 
  76. Lukasiewicz, Jan 
  77. Orman Quine, Willard van 
  78. Woleński, Jan 
  79. Vuillemin, Jules (1920-2001) 
  80. Palladino, Dario 
  81. Moretti, Alberto 
  82. Cellucci, Carlo (1940- ) 
  83. Rescher, Nicholas (1928- ) 
  84. Pasquinelli, Alberto 
  85. Sacks, Gerald E. 
  86. Addison, J. W. 
  87. Linsky, Leonard 
  88. Scholz, Heinrich 
  89. Oñate Andino, Alejandra 
  90. Geymonat, Ludovico (1908-1991) 
  91. Andrade Merino, Raúl 
  92. Minio-Paluello, Lorenzo (1907-1986) 
  93. Schutte, Karl 
  94. Heijenoort, Jean : van 
  95. Correia, Manuel 
  96. Mostowski, Andrzej 
  97. Salmon, Wesley C. 
  98. Minio Paluello, Laurentius 
  99. Gauthier, Yvon 
  100. Novikov, Petr Sergeevich (1901-1975) 
  101. Hasenjaeger, Gisbert 
  102. Feys, Robert 
  103. Conte, Alberto 
  104. Fraïssé, Roland (1920-2008) 
  105. Malatesta, Michele 
  106. Shoenfield, Joseph Robert 
  107. Müller, Gert Heinz 
  108. Rizol, Paloma Maria Silva Rocha 
  109. Soler Toscano, Fernando 
  110. Weyl, Hermann (1885-1995) 
  111. Novikov, P. S. 1901-1975) 
  112. Seldin, Jonathan Paul 
  113. Pólya, Georg 
  114. Lakatos, Imre (1922-1974) 
  115. Blanché, Robert 
  116. Opałek, Kazimierz 
  117. Maccari, Emerson Antonio 
  118. Espino, Orlando 
  119. Jensen, Rodrigo 
  120. Coba Molina, Edisson 
  121. Altre opzioni open sub menu

Anno 

Da A
  1. Prima1957 
  2. 1957a1971 
  3. 1972a1986 
  4. 1987a2002 
  5. Dopo 2002 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...