Edellinen kuva
Lähennä
Loitonna
Keskitä
Seuraava kuva
Siirry rajauksiin
Siirry sisältöön
Etusivu
Haut ja palvelut
Perushaku (etusivu)
Aloita uusi haku.
Tarkennettu haku
Tarkemmat hakuehdot.
Hakuhistoria
Istuntokohtainen hakuhistoriasi. Kirjautumalla voit tallentaa hakusi.
Oppimateriaalit
Hae oppimateriaaleja eri aiheista.
Oikopolku tutkittuun tietoon
Syvenny tutkittuun tietoon.
Finna Luokkahuone
Tutustu opetuksen ja oppimisen sisältöihin.
Finna Street
Hae kuvia sijaintisi perusteella.
Tietoa Finnasta
Finna.fi – Kulttuurin ja tieteen aarteet yhdestä osoitteesta
Millaisia aineistoja voit löytää? Kirjautumalla saat enemmän. Monta tapaa käyttää Finna.fi:tä.
Finna – hakupalvelujen kokonaisuus
Mitä eroa Finna.fi:llä ja muilla Finna-hakupalveluilla?
Aineistojen tarjoajat
Lisätietoa Finnasta
Mitä tietoja minusta kerätään? Kuka Finnaa tekee? Finna-API. Finnan ohjelmisto. Palvelun käyttöä koskevat yleiset ehdot. Kuinka organisaationi voi liittyä Finnaan?
Vastuullinen Finna
Uutiset
Häiriötiedotteet
Ohje
Suomi
Suomi
Svenska
English
Kirjaudu
Haku
Hae
Tekijä
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
Logic | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
522
Siirry seuraavalle sivulle
Järjestä
Järjestä
Luokka
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Järjestä
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Tuloksia sivulla
Tuloksia sivulla
20
20
50
100
Tuloksia sivulla
20
50
100
Näytä
Näytä
Tiedot ja kuvat
Tiedot ja kuvat
Kuvagalleria
Tiivistetty lista
Hakutulos 1
Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolivc Logic, Held in Prague, Chech Republic, August 9-15, 1998
Näytä tarkat tiedot
Kirja
Buss, Sam
Buss, Sam
Hae tekijöistä
Hae aiheista
Sulje
;
Hájek, Petr
Hájek, Petr
Hae tekijöistä
Hae aiheista
Sulje
;
Pudlák, Pavel
Pudlák, Pavel
Hae tekijöistä
Hae aiheista
Sulje
1999
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Näytä tarkat tiedot
Kirja
Cooper, S. Barry
Cooper, S. Barry
Hae tekijöistä
Hae aiheista
Sulje
;
Truss, J. K.
Truss, J. K.
Hae tekijöistä
Hae aiheista
Sulje
1999
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Mathematical logic in Latin America : proceedings of the IV Latin-American symposium on mathematical logic held in Santiago, December 1978 atin America
Näytä tarkat tiedot
Kirja
Arruda, A. I.
Arruda, A. I.
Hae tekijöistä
Hae aiheista
Sulje
;
Chuaqui, R.
Chuaqui, R.
Hae tekijöistä
Hae aiheista
Sulje
;
Dacosta, N. C. A.
Dacosta, N. C. A.
Hae tekijöistä
Hae aiheista
Sulje
1980
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Logic Colloquium '96 : proceedings of the colloquium held in San Sebastián
Näytä tarkat tiedot
Kirja
Larrazabal, Jesús M.
Larrazabal, Jesús M.
Hae tekijöistä
Hae aiheista
Sulje
;
Lascar, Daniel
Lascar, Daniel
Hae tekijöistä
Hae aiheista
Sulje
;
Mints, Grigori
Mints, Grigori
Hae tekijöistä
Hae aiheista
Sulje
1998
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995
Näytä tarkat tiedot
Kirja
Logic Colloquium Haifa)
,
(1995
Logic Colloquium Haifa)
Hae tekijöistä
Hae aiheista
Sulje
;
Makowsky, Johann A.
Makowsky, Johann A.
Hae tekijöistä
Hae aiheista
Sulje
;
Ravve, Elena V.
Ravve, Elena V.
Hae tekijöistä
Hae aiheista
Sulje
1998
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-1981
Näytä tarkat tiedot
Kirja
Kechris, Alexander S.
Kechris, Alexander S.
Hae tekijöistä
Hae aiheista
Sulje
;
Martin, Donald A.
Martin, Donald A.
Hae tekijöistä
Hae aiheista
Sulje
;
Moschovakis, Yiannis N.
Moschovakis, Yiannis N.
Hae tekijöistä
Hae aiheista
Sulje
1983
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Cabal seminar 77-79 : proceedings, Caltech-UCLA Logic Seminar 1977-79
Näytä tarkat tiedot
Kirja
Kechris, Alexander S.
Kechris, Alexander S.
Hae tekijöistä
Hae aiheista
Sulje
;
Martin, Donald A.
Martin, Donald A.
Hae tekijöistä
Hae aiheista
Sulje
;
Moschovakis, Yiannis N.
Moschovakis, Yiannis N.
Hae tekijöistä
Hae aiheista
Sulje
1981
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic May 6-10, 1996, Salvador, Bahia, Brazil
Näytä tarkat tiedot
Kirja
D'Ottaviano, Itala M. L.
D'Ottaviano, Itala M. L.
Hae tekijöistä
Hae aiheista
Sulje
;
Carnielli, Walter A.
Carnielli, Walter A.
Hae tekijöistä
Hae aiheista
Sulje
1999
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Näytä tarkat tiedot
Kirja
Cooper, S. Barry
Cooper, S. Barry
Hae tekijöistä
Hae aiheista
Sulje
;
Truss, John K.
Truss, John K.
Hae tekijöistä
Hae aiheista
Sulje
1999
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Proceedings of the IX Latin American Symposium on Mathematical Logic. Part 2.
Näytä tarkat tiedot
Kirja
1994
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Applications of fuzzy sets theory : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007 : proceedings
Näytä tarkat tiedot
Kirja
Masulli, F.
Masulli, F.
Hae tekijöistä
Hae aiheista
Sulje
;
Mitra, Sushmita
Mitra, Sushmita
Hae tekijöistä
Hae aiheista
Sulje
;
Pasi, Gabriella
Pasi, Gabriella
Hae tekijöistä
Hae aiheista
Sulje
2007
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Extensions of Logic Programming : international workshop, ELP ... : proceedings
Näytä tarkat tiedot
Kausijulkaisu
1991
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Extensions of Logic Programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings
Näytä tarkat tiedot
Kirja
Dyckhoff, Roy
Dyckhoff, Roy
Hae tekijöistä
Hae aiheista
Sulje
1994
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 : proceedings
Näytä tarkat tiedot
Kirja
Parigot, Michel
Parigot, Michel
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2000
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Trudy naučno-issledovatel'skogo seminara logičeskogo centra Instituta filosofii RAN : 1993 = Proceedings of the research logical seminar of Institute of Philosophy, Russian Academy...
Näytä tarkat tiedot
Труды научно-исследовательского семинара логического центра Института философии РАН : 1993 = Proceedings of the research logical seminar of Institute of Philosophy, Russian Academy of Sciences : 1993
Kirja
Smirnov, V. A.
Smirnov, V. A.
Hae tekijöistä
Hae aiheista
Sulje
;
Bystrov, P. I.
Bystrov, P. I.
Hae tekijöistä
Hae aiheista
Sulje
;
Rossijskaâ Akademiâ nauk. Institut filosofii
Rossijskaâ Akademiâ nauk. Institut filosofii
Hae tekijöistä
Hae aiheista
Sulje
;
Obŝestvennyj institut logiki, kognitologii i razvitiâ ličnosti
Obŝestvennyj institut logiki, kognitologii i razvitiâ ličnosti
Hae tekijöistä
Hae aiheista
Sulje
;
Institute for Logic, Cognitive Science and Development of Personality
Institute for Logic, Cognitive Science and Development of Personality
Hae tekijöistä
Hae aiheista
Sulje
;
Russian Academy of Sciences. Institute of Philosophy
Russian Academy of Sciences. Institute of Philosophy
Hae tekijöistä
Hae aiheista
Sulje
1994
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
Näytä tarkat tiedot
Kirja
Andretta, Alessandro
Andretta, Alessandro
Hae tekijöistä
Hae aiheista
Sulje
;
Kearnes, Keith
Kearnes, Keith
Hae tekijöistä
Hae aiheista
Sulje
;
Zambella, Domenico
Zambella, Domenico
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2008
Helka-kirjastot
Lataa…
Verkossa saatavilla:
Table of contents
Publisher description
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005
Näytä tarkat tiedot
Kirja
Dimitracopoulos, Costas
Dimitracopoulos, Costas
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2008
Helka-kirjastot
Lataa…
Verkossa saatavilla:
Table of contents
Publisher description
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2...
Näytä tarkat tiedot
Kirja
Chatzidakis, Zoé Maria
Chatzidakis, Zoé Maria
Hae tekijöistä
Hae aiheista
Sulje
;
Koepke, Peter
Koepke, Peter
Hae tekijöistä
Hae aiheista
Sulje
;
Pohlers, Wolfram
Pohlers, Wolfram
Hae tekijöistä
Hae aiheista
Sulje
2006
Helka-kirjastot
Lataa…
Verkossa saatavilla:
Table of contents
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Logic Colloquium '99 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Näytä tarkat tiedot
Kirja
Eijck, J. van
,
toimittaja
Eijck, J. van
Hae tekijöistä
Hae aiheista
Sulje
;
Oostrom, Vincent van
,
toimittaja
,
1966-
Oostrom, Vincent van
Hae tekijöistä
Hae aiheista
Sulje
;
Visser, Albert
,
toimittaja
Visser, Albert
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
,
julkaisija
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2004
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Proceedings of the third Brazilian Conference on Mathematical Logic : UFPe - Recife, December 17-22, 1979
Näytä tarkat tiedot
Kirja
Arruda, Ayda I.
Arruda, Ayda I.
Hae tekijöistä
Hae aiheista
Sulje
;
da Costa, Newton C. A.
da Costa, Newton C. A.
Hae tekijöistä
Hae aiheista
Sulje
;
Sette, Antonio Mario
Sette, Antonio Mario
Hae tekijöistä
Hae aiheista
Sulje
1980
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Rajaa hakua
Valintaruuturajaimet
Verkossa saatavilla
Käyttöoikeudet
Lataus keskeytyi
Lataa…
Aineistotyyppi
Lataus keskeytyi
Lataa…
Tekijä
Lataus keskeytyi
Lataa…
Aihe
Lataus keskeytyi
Lataa…
Alue
Lataus keskeytyi
Lataa…
Valmistusvuosi
Lataus keskeytyi
Lataa…
Aiheen aika
Lataus keskeytyi
Lataa…
Kieli
Lataus keskeytyi
Lataa…
Sisältyy kokonaisuuteen
Lataus keskeytyi
Lataa…
Toimiala
Lataus keskeytyi
Lataa…
Organisaatio
Lataus keskeytyi
Lataa…
Uutta Finnassa
Lataus keskeytyi
Lataa…
1
2
3
4
5
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API