skip to main content
Lingue:

Risutati 1 - 10 di 343  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
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()

2
New computational paradigms : changing conceptions of what is computable
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

New computational paradigms : changing conceptions of what is computable

Cooper, S. Barry ; Löwe, Benedikt ; Sorbi, Andrea

New York : Springer ; 2008

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

3
Temporal logic and state systems
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Temporal logic and state systems

Kröger, Fred ; Merz, Stephan

Berlin etc. : Springer ; 2008

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

4
Dynamic epistemic logic
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Dynamic epistemic logic

Ditmarsch, Hans van ; Hoek, Wiebe : van der ; Kooi, Barteld

Dordrecht : Springer ; 2007

Disponibile in Bib. Stroffolini - Dip. Fisica  Copia prestabile  39NAP_INST:21128066720003321 (e in altre biblioteche/più copie)()

5
The annotated turing : a guided tour through Alan turing's historic paper on computability and the turing machine
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

The annotated turing : a guided tour through Alan turing's historic paper on computability and the turing machine

Petzold, Charles

Indianapolis : Wiley ; 2008

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

6
Material Type:
Versioni multiple

Manuale di logica

Quine, Willard Van Orman (1908-2000) ; Pacifico, Michele

Trovate versioni multiple
Ci sono 3 versioni di questo documento

7
Material Type:
Versioni multiple

Principia Mathematica

Whitehead, Alfred North (1861-1947) ; Russell, Bertrand (1872-1970) ; Russell, Bertrand A.W. ; Russell, Bertrand Arthur William

Trovate versioni multiple
Ci sono 4 versioni di questo documento

8
Material Type:
Versioni multiple

First-Order Logic and Automated Theorem Proving

Fitting, Melvin

Trovate versioni multiple
Ci sono 2 versioni di questo documento

9
Beginning Logic
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Beginning Logic

Lemmon, Edward John

S.l. : Nelson ; 1965

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

10
Material Type:
Versioni multiple

Le Ragioni della Logica

Cellucci, Carlo (1940- )

Trovate versioni multiple
Ci sono 2 versioni di questo documento

Risutati 1 - 10 di 343  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. Risorse online (2)
  2. Disponibile in biblioteca (342)

Affina i tuoi risultati

Tipo di risorsa 

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

Autore 

  1. Crossley, John Newsome 
  2. Troelstra, Anne Sjerp 
  3. Tarski, Alfred (1901-1983) 
  4. Sacks, Gerald E. 
  5. Hermes, Hans 
  6. Keisler, Howard Jerome (1936- ) 
  7. Von Wright, Georg Hendrik 
  8. Schütte, Kurt 
  9. Lorenzen, Paul 
  10. Hilbert, David 
  11. Wright, Georg Henrik von (1916-2003) 
  12. Wright, G. H. von 
  13. Smullyan, Raymond M. 
  14. Müller, Gert Heinz 
  15. Fenstad, Jens Erik 
  16. Goodstein, R.l. 
  17. Von Wright, G. H. 
  18. Rosser, John Barkley (1907-1989) 
  19. Mendelson, Elliott 
  20. Dekker, J.C.E. 
  21. Hindley, James Roger 
  22. Schutte, Karl 
  23. Cooper, S. Barry 
  24. Hasenjaeger, Gisbert 
  25. Feys, Robert 
  26. Fraïssé, Roland (1920-2008) 
  27. Ackermann, Wilhelm (1896-1962) 
  28. Pizzi, Claudio 
  29. Shoenfield, Joseph Robert 
  30. Robinson, Abraham 
  31. Sanchis, Luis E. 
  32. Heyting, Arend 
  33. Curry, Haskell B. 
  34. Gandy, R.O. 
  35. Chang, Chen Chung 
  36. Seldin, Jonathan Paul 
  37. Davis, Martin (1928- ) 
  38. Cellucci, Carlo (1940- ) 
  39. Davis, Martin D. (1928- ) 
  40. Sorbi, Andrea 
  41. Borkowski, L. 
  42. Lerman, Manuel 
  43. Orman, Willard van Quine (1908-2000) 
  44. Ditmarsch, Hans van 
  45. Costa, Newton Carneiro Affonso : da (1929- ) 
  46. Dalen, Dirk van (1932- ) 
  47. Grize, Jean-Blaise 
  48. Quine, Willard Van Orman (1908-2000) 
  49. Brewka, Gerhard 
  50. Belnap, Nuel Dinsmore 
  51. Benthem, Johan van 
  52. Boron, Leo F. 
  53. Takeuti, Gaisi 
  54. Herbrand, Jacques 
  55. Kueker, David W. 
  56. Van Benthem, J. F. A. K. 
  57. Heijenoort, Jean : van 
  58. Lemmon, Edward John 
  59. Bressan, Aldo 
  60. Kripke, Saul A. 
  61. Van Benthem, Johan 
  62. Freudenthal, Hans (1905-1990) 
  63. Mostowski, Andrzej 
  64. Ebbinghaus, Heinz-Dieter 
  65. Grzegorczyk, Andrzej 
  66. Salmon, Wesley C. 
  67. Grana, Nicola 
  68. Bernays, Paul (1888-1977) 
  69. Fitch, Frederic B. 
  70. Soare, Robert I. 
  71. Wainer, Stanley S. 
  72. Henkin, Leon 
  73. Luxemburg, Wilhelm A. J. (1929- ) 
  74. Casari, Ettore 
  75. Szabo, Manfred Egon 
  76. Martin-Löf, Per (1942- ) 
  77. Lukasiewicz, Jan 
  78. Löf, Per Martin (1942- ) 
  79. Orman Quine, Willard van 
  80. McAloon, Kenneth 
  81. Craig, William 
  82. Carnap, Rudolf (1891-1970) 
  83. Leblanc, Léon 
  84. Andrews, Peter B. 
  85. Heijenoort, Jean van 
  86. Hinman, Peter G. 
  87. Boolos, George 
  88. Skolem, Thoralf A. 
  89. D'Angelo, Giuseppe 
  90. International summer institute and logic colloquium (1974 , Kiel) 
  91. Wojtasiewicz, Olgierd 
  92. Rogers, Hartley 
  93. Perrotta, Anna 
  94. Da Costa, Newton Carneiro Affonso 
  95. Anderson, Alan Ross 
  96. Odifreddi, Piergiorgio (1950- ) 
  97. Chang, C.C. 
  98. Barwise, Jon 
  99. Leblanc, Hugues 
  100. Rescher, Nicholas (1928- ) 
  101. Altre opzioni open sub menu

Anno 

Da A
  1. Prima1960 
  2. 1960a1971 
  3. 1972a1983 
  4. 1984a1996 
  5. Dopo 1996 
  6. Altre opzioni open sub menu

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

da questo autore/creatore:

  1. Crossley, John Newsome
  2. Troelstra, Anne Sjerp
  3. Tarski, Alfred (1901-1983)
  4. Sacks, Gerald E.
  5. Hermes, Hans

Ricerca in corso nelle risorse remote ...