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
Association for Symbolic Logic | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
36
Siirry seuraavalle sivulle
Järjestä
Järjestä
Relevanssi
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
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
Näytä tarkat tiedot
E-kirja
Latin-American Symposium on Mathematical Logic
,
corporate author
Latin-American Symposium on Mathematical Logic
Hae tekijöistä
Hae aiheista
Sulje
;
Carnielli, Walter A.
,
editor
Carnielli, Walter A.
Hae tekijöistä
Hae aiheista
Sulje
;
Alcantara, Luiz Paulo de
,
editor
,
1944-
Alcantara, Luiz Paulo de
Hae tekijöistä
Hae aiheista
Sulje
;
Sociedade Brasileira de Lógica
,
issuing body
Sociedade Brasileira de Lógica
Hae tekijöistä
Hae aiheista
Sulje
;
Sociedade Brasileira de Matemática
,
issuing body
Sociedade Brasileira de Matemática
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
,
issuing body
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
1988
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Kajaanin ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Journal of logic and analysis
Näytä tarkat tiedot
E-aikakauslehti
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2009
Saatavuustiedot:
Näytä saatavuustiedot
Karelia-ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Descriptive complexity, canonisation, and definable graph structure theory
Näytä tarkat tiedot
Kirja
Grohe, M.
,
kirjoittaja
Grohe, M.
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2017
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Subsystems of second order arithmetic
Näytä tarkat tiedot
Kirja
Simpson, Stephen G.
,
kirjoittaja
Simpson, Stephen G.
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2009
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
Näytä tarkat tiedot
Kirja
Feferman, Solomon
,
toimittaja
Feferman, Solomon
Hae tekijöistä
Hae aiheista
Sulje
;
Sieg, Wilfried
,
toimittaja
,
1945-
Sieg, Wilfried
Hae tekijöistä
Hae aiheista
Sulje
;
Sommer, Richard
,
toimittaja
,
1961-
Sommer, Richard
Hae tekijöistä
Hae aiheista
Sulje
;
Talcott, Carolyn L.
,
toimittaja
Talcott, Carolyn L.
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2002
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
The bulletin of symbolic logic
Näytä tarkat tiedot
Bulletin of symbolic logic (Online)
E-aikakauslehti
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
1995
Jyväskylän ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
The journal of symbolic logic
Näytä tarkat tiedot
Aikakauslehti
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
1936
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
The review of symbolic logic
Näytä tarkat tiedot
E-aikakauslehti
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2008
Jyväskylän ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
The bulletin of symbolic logic
Näytä tarkat tiedot
Aikakauslehti
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
1995
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
The journal of symbolic logic
Näytä tarkat tiedot
Aikakauslehti
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
1936
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
The bulletin of symbolic logic
Näytä tarkat tiedot
Aikakauslehti
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
1995
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
The review of symbolic logic
Näytä tarkat tiedot
Aikakauslehti
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2008
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
The review of symbolic logic
Näytä tarkat tiedot
Aikakauslehti
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2008
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
Näytä tarkat tiedot
Kirja
Stoltenberg-Hansen, Viggo
Stoltenberg-Hansen, Viggo
Hae tekijöistä
Hae aiheista
Sulje
;
Väänänen, Jouko
Väänänen, Jouko
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2006
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
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 16
Logic Colloquium 2007
Näytä tarkat tiedot
Kirja
Delon, F.
,
toimittaja
Delon, F.
Hae tekijöistä
Hae aiheista
Sulje
;
Kohlenbach, U.
,
toimittaja
Kohlenbach, U.
Hae tekijöistä
Hae aiheista
Sulje
;
Maddy, Penelope
,
toimittaja
Maddy, Penelope
Hae tekijöistä
Hae aiheista
Sulje
;
Stephan, Frank
,
toimittaja
Stephan, Frank
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2010
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
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 18
Model theory of stochastic processes
Näytä tarkat tiedot
Kirja
Fajardo, Sergio
,
kirjoittaja
,
1956-
Fajardo, Sergio
Hae tekijöistä
Hae aiheista
Sulje
;
Keisler, H. Jerome
,
kirjoittaja
Keisler, H. Jerome
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
,
julkaisija
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2002
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, UK, 1984
Näytä tarkat tiedot
Kirja
Paris, J. B.
Paris, J. B.
Hae tekijöistä
Hae aiheista
Sulje
;
Wilkie, A. J.
Wilkie, A. J.
Hae tekijöistä
Hae aiheista
Sulje
;
Wilmers, G. M.
Wilmers, G. M.
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
1986
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Logic Colloquium '80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
Näytä tarkat tiedot
Kirja
Dalen, D. van
Dalen, D. van
Hae tekijöistä
Hae aiheista
Sulje
;
Lascar, D.
Lascar, D.
Hae tekijöistä
Hae aiheista
Sulje
;
Smiley, T. J.
Smiley, T. J.
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
1982
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
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
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API