Seguici su

Cerca

Risultati di Ricerca

Risultati: 1-7 di 7

Modifica la ricerca

Filtri attivi:

Soggetto BNI: LOGICA MATEMATICA - CONGRESSI

Visualizza

Ordina per

Computer science logic : 5. workshop, CSL '91

Testo

Computer science logic : 5. workshop, CSL '91

Workshop on computer science logic <5. ; 1991

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

Testo

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (CIME) held at Montecatini Terme, Italy, June 20-28, 1988

Centro internazionale matematico estivo

Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15-19, 1985

Testo

Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15-19, 1985

US-Israel workshop on model theory in mathematical logic <1985

Proceedings of the fifth International congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975

Testo

Proceedings of the fifth International congress of logic, methodology and philosophy of science, London, Ontario, Canada, 1975

International congress of logic, methodology, and philosophy of science <5. ; 1975

Recursion theory

Testo

Recursion theory

Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Godel

Testo

Foundations of mathematics : symposium papers commemorating the sixtieth birthday of Kurt Godel

Logic, methodology and philosophy of science : proceedings of the 1964 international congress

Testo

Logic, methodology and philosophy of science : proceedings of the 1964 international congress

Filtra Risultati

Autore Principale
Nomi
- Baldwin, John T.
  (1)
- Bar-Hillel, Yehoshua
  (1)
- Bulloff, Jack J.
  (1)
- Butts, Robert E.
  (1)
- Börger, Egon
  (1)
- Centro internazionale matematico estivo
  (1)
- Hahn, Samuel Wilfred
  (1)
- Hintikka, Jaakko
  (1)
- Holyoke, Thomas C.
  (1)
- Homer, Steven
  (1)
- International congress for logic, methodology, and philosophy of science [2 ; 1964 ; Gerusalemme]
  (1)
- International congress of logic, methodology, and philosophy of science <5. ; 1975
  (1)
- Nerode, Anil <1932- >
  (1)
- Odifreddi, Piergiorgio
  (1)
- Shore, Richard A.
  (1)
- US-Israel workshop on model theory in mathematical logic <1985
  (1)
- Workshop on computer science logic <5. ; 1991
  (1)
- Altro Tutti
Classe Dewey
Soggetto BNI
- FILOSOFIA DELLA SCIENZA - CONGRESSI
  (2)
- CONGRESSI - CHICAGO
  (1)
- CONGRESSI - COLUMBUS
  (1)
- CONGRESSI - GERUSALEMME
  (1)
- CONGRESSI - ITHACA <N.Y.>
  (1)
- CONGRESSI - LONDRA <CANADA>
  (1)
- CONGRESSI - MONTECATINI TERME
  (1)
- ELABORATORI ELETTRONICI - LINGUAGGIO PROLOG
  (1)
- EPISTEMOLOGIA - CONGRESSI
  (1)
- Gödel, Kurt
  (1)
- LOGICA - CONGRESSI
  (1)
- LOGICA - STORIA
  (1)
- LOGICA SIMBOLICA - CONGRESSI
  (1)
- MATEMATICA - ASPETTI FILOSOFICI
  (1)
- MATEMATICA - TEORIE
  (1)
- Altro Tutti