skip to main content
Lingue:

Risutati 1 - 10 di 937  per Tutte le collezioni

Risultati 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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()

2
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()

3
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)()

4
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()

5
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)()

6
Esercizi di logica
Material Type:
Documento governativo
Aggiungi allo Scaffale Elettronico

Esercizi di logica

Cavagnetto, Stefano

Roma : Carocci ; 2008

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

7
Forcing idealized
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Forcing idealized

Zapletal, Jindrich

Cambridge : cambridge University press ; 2008

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

8
Logic's lost genius : the life of Gerhard Gentzen
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Logic's lost genius : the life of Gerhard Gentzen

Menzler-Trott, Eckart

Providence : American Mathematical Society ; 2007

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

9
Residuated lattices: an algebraic glimpse at substructural logics
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Residuated lattices: an algebraic glimpse at substructural logics

Galatos, N. ; Jipsen, Peter ; Kowalski, T. ; Ono, H.

Amsterdam : Elsevier ; 2007

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

10
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()

Risutati 1 - 10 di 937  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.   

Argomento 

  1. Fondamenti della logica matematica e probabilità 
  2. Lògica Matemàtica 
  3. Fuzzy Logic 
  4. Àrees Temàtiques De La Upc::Matemàtiques I Estadística::Lògica Matemàtica 
  5. Lògica Difusa 
  6. Logica matematica 
  7. Mathematical Logic 
  8. Logic 
  9. Lógica Matemática 
  10. Logica Simbolica E Matematica 
  11. Logica 
  12. Symbolic And Mathematical 
  13. Algorismes Computacionals 
  14. Computer Algorithms 
  15. Lógica 
  16. Lógica Difusa 
  17. Logica Matematica Não-Classica 
  18. Logica e fondamenti 
  19. Ricorsività 
  20. Complexitat Computacional 
  21. Mathematics 
  22. Set Theory 
  23. Lógica Simbólica E Matemática 
  24. Filosofia 
  25. Matemática 
  26. Philosophy 
  27. Matematica 
  28. Logica matematica - Fondamenti 
  29. Logica matematica e fondamenti 
  30. Logica simbolica 
  31. Logica matematica - Congressi 
  32. Logica - Matematica 
  33. Logica matematica e fondamenti - Esposizione didattica 
  34. Epistemologia 
  35. Matematica - Filosofia 
  36. Logica matematica e fondamenti - Presentazione di ricerche 
  37. Logica matematica - Manuali 
  38. Informatica 
  39. Logica classica del primo ordine 
  40. Logica matematica - Filosofia 
  41. Logica - Filosofia 
  42. Teoria degli insiemi 
  43. Intelligenza artificiale 
  44. Logica matematica e fondamenti - Atti di conferenze 
  45. Teoria degli automi 
  46. Matematici - 20. sec. - godel k. 
  47. Storia della logica e probabilità 
  48. Storia della filosofia 
  49. Metafisica 
  50. Teoria dei modelli 
  51. Logica - Simbolica 
  52. Teoria degli insiemi - Manuali 
  53. Analisi matematica 
  54. Cibernetica 
  55. Logica matematica e fondamenti - esposizione a livello avanzato 
  56. Programmazione logica 
  57. Linguaggi formali 
  58. Teoria dei giochi 
  59. Logica formale 
  60. Storia della matematica 
  61. Teoria dei numeri 
  62. Probabilità, Probabilità - teoria generale 
  63. Strutture algebriche 
  64. Logica matematica e fondamenti - Opere di riferimento generale 
  65. Fondamenti delle scienze fisiche e naturali 
  66. Opere di matematica generale 
  67. Logica pura del primo ordine 
  68. Teoria della ricorsivita' 
  69. Ultraprodotti e costruzioni collegate 
  70. Geometria 
  71. Funzioni calcolabili 
  72. Applicazioni della teoria di modelli 
  73. Opera di bourbaki 
  74. Logica, simbolica e matematica 
  75. Collezioni di articoli di contenuto specifico vario 
  76. Atti di conferenze di interesse specifico vario 
  77. Proprietà base dei linguaggi e delle strutture del primo ordine 
  78. Generale - Esposizione didattica 
  79. Matematica - Logica 
  80. Filosofia e critica 
  81. Metodologia della scienza - Congressi 
  82. Eliminazione dei quantificatori - Completezza del modello ed argomenti collegati 
  83. Teoria delle macchine 
  84. Logica modale 
  85. Sottosistemi della logica classica 
  86. Funzioni reali 
  87. Economia - Metodi matematici - Congressi - 2001 
  88. Insiemi 
  89. Probabilità e statistica 
  90. Logica di primo grado 
  91. Analisi stocastica 
  92. Geometria - teoria generale 
  93. Scienza del computer - Atti di conferenze 
  94. Transienti 
  95. Logica matematica - matematica 
  96. Geometria - Teorie - Sec. 19.-20. 
  97. Inferenza statistica 
  98. Spazio - Teorie - Sec. 19.-20. 
  99. Poincar, henri 
  100. Matematici - Congressi 1970 
  101. Infinito 
  102. Sistemi esperti 
  103. Principi di determinatezza 
  104. Logica, simbolica, matematica 
  105. Statistica bayesiana 
  106. Teoria della dimostrazione 
  107. Teoria della ricorsività 
  108. Matematica simbolica 
  109. Algebra commutativa - Congressi 
  110. Teoria descrittiva degli insiemi 
  111. Funzioni reali - libri di testo 
  112. Logica simbolica e matematica - Congressi 
  113. Strutture ordinate 
  114. Computer science - Congressi 
  115. Teoria della dimostrazione - Generale 
  116. Analisi 
  117. Computers 
  118. Filosofia - Storia - congressi 
  119. Teoria della categoria 
  120. Altre opzioni open sub menu

Autore 

  1. Recasens Ferrés, Jorge 
  2. Boixader Ibáñez, Dionís  
  3. Villaret I Ausellé, Mateu 
  4. Levy, Jordi  
  5. Jacas Moral, Juan  
  6. Kutsia, Temur  
  7. Friedman, Sy D  
  8. Font Llovet, Josep Maria 
  9. Universitat Autònoma De Barcelona. Centre De Recerca Matemàtica 
  10. Torrens Torrell, Antoni 
  11. Hintikka, Jaakko 
  12. Carnap, Rudolf (1891-1970) 
  13. Beth, Evert Willem 
  14. Universitat De Barcelona. Departament De Lògica, Història I Filosofia De La Ciència 
  15. Garmendia Salvador, Luis  
  16. Baumgartner, Alexander  
  17. Russell, Bertrand Arthur William 
  18. Russell, Bertrand A.W. 
  19. Esteva Massaguer, Francesc 
  20. Buss, Samuel R. 
  21. Russell, Bertrand (1872-1970) 
  22. Gödel, Kurt 
  23. Suppes, Patrick 
  24. Tarski, Alfred (1901-1983) 
  25. Wittgenstein, Ludwig (1889-1951) 
  26. Lolli, Gabriele 
  27. Casari, Ettore 
  28. Bar-Hillel, Yehoshua 
  29. Magnani, Lorenzo 
  30. Dalen, Dirk van (1932- ) 
  31. Quine, Willard Van Orman (1908-2000) 
  32. Cantini, Andrea 
  33. Kleene, Stephen Cole (1909- ) 
  34. Feferman, Solomon 
  35. Gauthier, Yvon 
  36. Curry, Haskell B. 
  37. Weyl, Hermann (1885-1995) 
  38. Black, Max 
  39. Vuillemin, Jules (1920-2001) 
  40. Dalla Chiara Scabia, Maria Luisa 
  41. Lakatos, Imre (1922-1974) 
  42. Agazzi, Evandro (1934- ) 
  43. Dalla Chiara, Maria Luisa 
  44. Consiglio nazionale delle ricerche 
  45. Rosser, John Barkley (1907-1989) 
  46. Gurevich, Yuri 
  47. Orman, Willard van Quine (1908-2000) 
  48. Dedekind, Julius Wilhelm Richard (1831-1916) 
  49. Association for symbolic logic 
  50. Linsky, Leonard 
  51. Nagel, Ernest (matematico , 1901-1985) 
  52. Dummett, Michael 
  53. Gradel, Erich 
  54. Robbins, Herbert 
  55. Mendelson, Elliott 
  56. Richman, Fred 
  57. Dedekind, J. W. Richard 1831-1916) 
  58. Harrod, Roy (1900-1978) 
  59. Bochenski, Joseph M. (1902- ) 
  60. Trinchero, Mario 
  61. Harrod, Roy Forbes (1900-1978) 
  62. Kozen, Dexter (1951- ) 
  63. Mangione, Corrado (1930-2009) 
  64. Logic colloquium (1997 , Leeds, England) 
  65. Piaget, Jean (1896-1980) 
  66. Hendricks, Vincent 
  67. Cooper, S. Barry 
  68. D'Amore, Bruno (1946- ) 
  69. Putnam, Hilary 
  70. Abrusci, Vito Michele 
  71. Kuipers, Theo A.F. 
  72. Dedekind, Richard (1831-1916) 
  73. Jeffrey, Richard C. 
  74. Truss, John K. 
  75. Bochenski, Innocentius M. 
  76. Cavagnetto, Stefano 
  77. Körner, Stephan 
  78. Cordeschi, Roberto (1946-2014) 
  79. Prawitz, Dag 
  80. Courant, Richard 
  81. Pettorossi, Alberto 
  82. Speranza, Francesco (1932-1998 , matematico) 
  83. Robinson, Abraham 
  84. Orman Quine, Willard van 
  85. Boole, George 
  86. Wang, Hao 
  87. Khatchatourian, Oleg 
  88. Pedersen, Stig Andur 
  89. Miche, Józef 
  90. Thagard, Paul 
  91. Palladino, Dario 
  92. Cavailles, Jean (1903-1944) 
  93. Odifreddi, Piergiorgio (1950- ) 
  94. Mondadori, Marco (1945-1999) 
  95. Treter, Jaciara 
  96. Gabbay, Dov M. (1945- ) 
  97. Rescher, Nicholas (1928- ) 
  98. Newman, James R. 
  99. Przelecki, Marian 
  100. Frege, Gottlob (1848-1925) 
  101. Apostel, Léo 
  102. Martin, Richard Milton 
  103. Zuckerman, Martin M. 
  104. Weyuker, Elaine J. 
  105. Benthem, Johan van 
  106. Higonnet, René A. 
  107. Van Benthem, J. F. A. K. 
  108. Lemmon, Edward John 
  109. Plantinga, Alvin (1932- ) 
  110. Smorynski, Craig 
  111. Steinhorn, Charles 
  112. Piaget, Jean 
  113. Badiou, Alain 
  114. Wagon, Stan 
  115. Tamburrini, Guglielmo 
  116. Bezdek, James C. 
  117. Altre opzioni open sub menu

Anno 

Da A
  1. Prima1961 
  2. 1961a1975 
  3. 1976a1990 
  4. 1991a2006 
  5. Dopo 2006 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...