skip to main content
Lingue:

Risutati 1 - 10 di 249  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
Material Type:
Versioni multiple

Reading, writing and proving : A closer look at mathematics

Daepp, Ulrich ; Gorkin, Pamela

Trovate versioni multiple
Ci sono 3 versioni di questo documento

2
Material Type:
Versioni multiple

Logic and structure

Dalen, Dirk van (1932- )

Trovate versioni multiple
Ci sono 3 versioni di questo documento

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

A concise introduction to mathematical logic

Rautenberg, Wolfgang

New York : Springer ; 2006

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

4
Figures of thought : Mathematics and Mathematical Texts
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Figures of thought : Mathematics and Mathematical Texts

Reed, David

London : Routledge & Kegan Paul ; 1995

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

5
From Dedekind to Gödel : essays on the development of the foundations of mathematics
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

From Dedekind to Gödel : essays on the development of the foundations of mathematics

Hintikka, Jaakko

Dordrecht NL : Kluwer ; 1995

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

6
La logique interne
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

La logique interne

Gauthier, Yvon

Paris : Librairie Philosophique J. Vrin ; 1991

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

7
Mathematical Logic : Second edition
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Mathematical Logic : Second edition

Ebbinghaus, Heinz-Dieter ; Flum, Jorg ; Thomas, Wolfgang

New York : Springer-Verlag ; 1994

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

8
Fuzzy sets in approximate and information systems
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Fuzzy sets in approximate and information systems

Bezdek, James C. ; Dubois, Didier ; Prade, Henri

Boston : Kluwer ; 1999

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

9
Entre intuition et analyse : Poincaré et le concept de predicativite
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Entre intuition et analyse : Poincaré et le concept de predicativite

Heinzmann, Gerhard

Paris : Librairie Scientifique et Technique ; 1985

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

10
Loeb measures in practive : recent advances
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Loeb measures in practive : recent advances

Cutland, Nigel J.

Berlin : Springer ; 2000

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

Risutati 1 - 10 di 249  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. Disponibile in biblioteca (248)

Affina i tuoi risultati

Tipo di risorsa 

  1. Libri 
  2. Atti di convegno 
  3. Altre opzioni open sub menu

Argomento 

  1. Fondamenti della logica matematica e probabilità 
  2. Logica e fondamenti 
  3. Logica matematica - fondamenti 
  4. Logica 
  5. Logica matematica e fondamenti 
  6. Logica matematica e fondamenti - Esposizione didattica 
  7. Ricorsività 
  8. Logica matematica e fondamenti - Presentazione di ricerche 
  9. Logica classica del primo ordine 
  10. Logica matematica e fondamenti - Atti di conferenze 
  11. Logica matematica 
  12. Analisi matematica 
  13. Logica matematica e fondamenti - esposizione a livello avanzato 
  14. Teoria degli insiemi 
  15. Probabilità, Probabilità - teoria generale 
  16. Matematica 
  17. Logica matematica e fondamenti - Opere di riferimento generale 
  18. Fondamenti delle scienze fisiche e naturali 
  19. Filosofia 
  20. Ultraprodotti e costruzioni collegate 
  21. Applicazioni della teoria di modelli 
  22. Collezioni di articoli di contenuto specifico vario 
  23. Atti di conferenze di interesse specifico vario 
  24. Proprietà base dei linguaggi e delle strutture del primo ordine 
  25. Generale - Esposizione didattica 
  26. Filosofia e critica 
  27. Programmazione logica 
  28. Eliminazione dei quantificatori - Completezza del modello ed argomenti collegati 
  29. Matematica generale 
  30. Logica modale 
  31. Epistemologia 
  32. Sottosistemi della logica classica 
  33. Analisi combinatoria 
  34. Logica matematica e fondamenti - esposizione avanzata 
  35. Metafisica 
  36. Intelligenza artificiale 
  37. Teoria dei numeri 
  38. Combinatorica - Esposizione didattica 
  39. Godel, kurt 
  40. Problemi combinatorici classici 
  41. Complessità delle dimostrazioni 
  42. Semantica 
  43. Probabilità e statistica 
  44. Logica matematica - Fondamenti - congressi 
  45. Logica della conoscenza e delle opinioni 
  46. Matematica - Fondamenti 
  47. Analisi matematica - Atti di conferenze di interesse specifico vario 
  48. Teorema di Gödel 
  49. Teoria degli operatori 
  50. Statistica, Statistica - Teoria generale 
  51. Modelli dell'aritmetica e della teoria degli insiemi 
  52. Analisi stocastica 
  53. Teoria della computabilità e della ricorsione astratte ed assiomatiche 
  54. Logica proposizionale classica 
  55. Geometria - teoria generale 
  56. Logica quantistica 
  57. Teoria delle decisioni 
  58. Scienza del computer 
  59. Scienza del computer - Atti di conferenze 
  60. Transienti 
  61. Computabilità e teoria della ricorsione 
  62. Geometria - Teorie - Sec. 19.-20. 
  63. Opere di matematica generale 
  64. Filosofia della logica 
  65. Logica matematica - Congressi 
  66. Inferenza statistica 
  67. Teoria della dimostrazione, generale 
  68. Spazio - Teorie - Sec. 19.-20. 
  69. Poincar, henri 
  70. Geometria 
  71. Scienza - Filosofia 
  72. Scienza cognitiva 
  73. Geometria non euclidea 
  74. Opera di bourbaki 
  75. Logica di ordine superiore e teoria dei tipi 
  76. Matematica - Filosofia 
  77. Modelli matematici 
  78. Cibernetica 
  79. Combinatorica - Atti di conferenze 
  80. Fondamenti delle teorie classiche 
  81. Matematica - Logica 
  82. Metodologia della scienza - Congressi 
  83. Statistica bayesiana 
  84. Teoria della dimostrazione 
  85. Storia e biografia 
  86. Matematica - Insegnamento 
  87. Altre logiche non classiche 
  88. Logica - Filosofia 
  89. Decidibilità di teorie e di insiemi di sentenze 
  90. Storia della logica e probabilità 
  91. Funzioni reali - libri di testo 
  92. Teoria dei grafi 
  93. Teoria 
  94. Gruppi Abeliani 
  95. Teoria della dimostrazione - Generale 
  96. Storia della filosofia 
  97. Teoria della probabilita - Fondamenti di logica 
  98. Analisi funzionale 
  99. Modellazione matematica - Storia 
  100. Altre opzioni open sub menu

Autore 

  1. Hintikka, Jaakko 
  2. Carnap, Rudolf (1891-1970) 
  3. Beth, Evert Willem 
  4. Russell, Bertrand Arthur William 
  5. Russell, Bertrand A.W. 
  6. Russell, Bertrand (1872-1970) 
  7. Bar-Hillel, Yehoshua 
  8. Suppes, Patrick 
  9. Magnani, Lorenzo 
  10. Tarski, Alfred (1901-1983) 
  11. Quine, Willard Van Orman (1908-2000) 
  12. Cantini, Andrea 
  13. Kleene, Stephen Cole (1909- ) 
  14. Casari, Ettore 
  15. Weyl, Hermann (1885-1995) 
  16. Black, Max 
  17. Vuillemin, Jules (1920-2001) 
  18. Dalla Chiara Scabia, Maria Luisa 
  19. Lakatos, Imre (1922-1974) 
  20. Dalla Chiara, Maria Luisa 
  21. Consiglio nazionale delle ricerche 
  22. Orman, Willard van Quine (1908-2000) 
  23. Linsky, Leonard 
  24. Nagel, Ernest (matematico , 1901-1985) 
  25. Robbins, Herbert 
  26. Wittgenstein, Ludwig (1889-1951) 
  27. Richman, Fred 
  28. Harrod, Roy (1900-1978) 
  29. Harrod, Roy Forbes (1900-1978) 
  30. Putnam, Hilary 
  31. Gauthier, Yvon 
  32. Courant, Richard 
  33. Speranza, Francesco (1932-1998 , matematico) 
  34. Orman Quine, Willard van 
  35. Buss, Samuel R. 
  36. Curry, Haskell B. 
  37. Wang, Hao 
  38. Thagard, Paul 
  39. Cavailles, Jean (1903-1944) 
  40. Mondadori, Marco (1945-1999) 
  41. Rescher, Nicholas (1928- ) 
  42. Newman, James R. 
  43. Agazzi, Evandro (1934- ) 
  44. Przelecki, Marian 
  45. Apostel, Léo 
  46. Rautenberg, Wolfang 
  47. Rodin, Andrei 
  48. Fuchs, Laszlo 
  49. Turner, Raymond 
  50. Witter, George E. 
  51. Morris Kline 
  52. Hatcher, William S. 
  53. Rota, Gian Carlo 
  54. Zilber, Boris 
  55. Kracht, Marcus 
  56. Kyburg, Henry E. 
  57. Beman, W. W. 
  58. Diener, M. 
  59. Folina, Janet 
  60. Cleave, J.P. 
  61. Palombi, Fabrizio 
  62. Ullmo, Jean 
  63. Dedekind, J. W. Richard 1831-1916) 
  64. Braithwaite, Richard Bevan (1900-1990) 
  65. Ragusa Gilli, Liliana 
  66. Schimmerling, Ernest 
  67. Mangione, Corrado (1930-2009) 
  68. Strawson, P. F. 
  69. Wright, Georg Henrik von (1916-2003) 
  70. Wright, G. H. von 
  71. Aron, Raymond (1905-1983) 
  72. Mostowski, Andrzej 
  73. Kac, Mark 
  74. Burks, Arthur W. 
  75. Lolli, Gabriele 
  76. Davis, J. W. 
  77. Kenny, Anthony John Patrick 
  78. Dequoy, N. 
  79. Mancosu, Paolo 
  80. Waismann, Friedrich 
  81. Shanker, Stuart G. 
  82. Koblitz, Neal 
  83. Bicchieri, Cristina 
  84. Lackey, Douglas 
  85. Marino, Antonio 
  86. Strüngmann, Lutz 
  87. Schuster, Peter 
  88. Israel, Giorgio 
  89. Holyoke, Thomas C. 
  90. Evans, Gareth 
  91. Parsons, Charles 
  92. Tourlakis, George 
  93. Goodstein, R.l. 
  94. Lobry, C. 
  95. Gibson, Roger F. 
  96. Martin, Robert L. 
  97. Fraenkel, Abraham Adolf (1891-1965) 
  98. Pfanzagl, J. 
  99. Grunbaum, Adolf 
  100. Schindler, Ralf 
  101. Altre opzioni open sub menu

Anno 

Da A
  1. Prima1960 
  2. 1960a1972 
  3. 1973a1987 
  4. 1988a2001 
  5. Dopo 2001 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...