Edellinen kuva
Lähennä
Loitonna
Keskitä
Seuraava kuva
Siirry hakuun
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?
Häiriötiedotteet
Ohje
Sv
En
Kirjaudu
Kirjaudu
Haku
Hae
Kaikki osumat
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
dfApplied
Tarkennettu haku
topic:("matematisk logik.") OR topic_id_str_mv:("http://www.yso.fi/onto/yso/p15194")^100000 | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Rajaa hakua
Näytetään
1
- 20
/
663
Siirry seuraavalle sivulle
Järjestä
Järjestä
Relevanssi
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Tuloksia sivulla
Tuloksia sivulla
20
20
50
100
Näytä
Näytä
Tiedot ja kuvat
Tiedot ja kuvat
Kuvagalleria
Tiivistetty lista
Hakutulokset
Hakutulos 1
Arity fragments of logics with team semantics
Näytä tarkat tiedot
Väitöskirja
Rönnholm, Raine
,
kirjoittaja
Rönnholm, Raine
Hae tekijöistä
Hae aiheista
Sulje
;
Tampereen yliopisto (1966-2018)
Tampereen yliopisto (1966-2018)
Hae tekijöistä
Hae aiheista
Sulje
2018
Matematiikka
(udkf 51)
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Verkossa saatavilla:
Linkki verkkoaineistoon
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Diamonds on large cardinals
Näytä tarkat tiedot
Väitöskirja
Hellsten, Alex
Hellsten, Alex
Hae tekijöistä
Hae aiheista
Sulje
2003
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Verkossa saatavilla:
ethesis.helsinki.fi/julkaisu...vk/hellsten/
(Kansalliskirjasto)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Constructive perspectives on inductive logic
Näytä tarkat tiedot
Väitöskirja
Holm, Ruurik
,
1969-
Holm, Ruurik
Hae tekijöistä
Hae aiheista
Sulje
2009
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Verkossa saatavilla:
urn.fi/URN:ISBN:978-952-10-5835-6
(Jyväskylän yliopisto - Jykdok)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Puhtaan implikaatiokalkyylin ratkeavuudesta
Näytä tarkat tiedot
Kirja
Verronen, Veli
Verronen, Veli
Hae tekijöistä
Hae aiheista
Sulje
1970
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Logik
Näytä tarkat tiedot
Kirja
Schock, Rolf
Schock, Rolf
Hae tekijöistä
Hae aiheista
Sulje
1967
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Helmet-kirjastot
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Logiikkaa itseopiskelijalle
Näytä tarkat tiedot
Kirja
Jussila, Erkki
Jussila, Erkki
Hae tekijöistä
Hae aiheista
Sulje
2004
LOGIIKKA
(ykl 12)
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Diakonia-ammattikorkeakoulu - Diana
Eepos-kirjastot
Helle-kirjastot
Jyväskylän yliopisto - Jykdok
Kainet-kirjastot
Kansalliskirjasto
Keski-kirjastot
Kuopion kaupunginkirjasto
Lastu-kirjastot
LUMME-kirjastot
Oulun yliopisto
OUTI-kirjastot
PIKI-kirjastot
Ratamo-kirjastot
Rutakko-kirjastot
Turun yliopisto
Vaara-kirjastot
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
A mathematical introduction to logic
Näytä tarkat tiedot
Kirja
Enderton, Herbert B.
Enderton, Herbert B.
Hae tekijöistä
Hae aiheista
Sulje
1972
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Mathematical logic
Näytä tarkat tiedot
Kirja
Shoenfield, Joseph R.
Shoenfield, Joseph R.
Hae tekijöistä
Hae aiheista
Sulje
1967
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Definability of polyadic lifts of generalized quantifiers
Näytä tarkat tiedot
Kirja
Hella, Lauri
Hella, Lauri
Hae tekijöistä
Hae aiheista
Sulje
;
Westerståhl, Dag
Westerståhl, Dag
Hae tekijöistä
Hae aiheista
Sulje
;
Väänänen, Jouko
,
(1)
Väänänen, Jouko
Hae tekijöistä
Hae aiheista
Sulje
1995
Aiheet:
“…
matematisk logik
…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Unary quantifiers on finite models
Näytä tarkat tiedot
Kirja
Väänänen, Jouko
,
(1)
Väänänen, Jouko
Hae tekijöistä
Hae aiheista
Sulje
1996
Aiheet:
“…
matematisk logik
…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Logiikka matematiikassa ja filosofiassa Hintikan tapaan
Näytä tarkat tiedot
Kirjan osa
Pietarinen, Ahti-Veikko
Pietarinen, Ahti-Veikko
Hae tekijöistä
Hae aiheista
Sulje
Julkaisussa
Ajattelun välineet ja maailmat : toimittaneet Juha Manninen & Risto Vilkko
s. 19-28
Aiheet:
“…
matematisk logik
…”
Kansalliskirjasto - Arto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Contracts as mathematical entities in programming logic
Näytä tarkat tiedot
Kirja
Back, Ralph-Johan
Back, Ralph-Johan
Hae tekijöistä
Hae aiheista
Sulje
;
Wright, Joakim von
Wright, Joakim von
Hae tekijöistä
Hae aiheista
Sulje
2000
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Handbook of mathematical logic
Näytä tarkat tiedot
Kirja
Barwise, Jon
Barwise, Jon
Hae tekijöistä
Hae aiheista
Sulje
1977
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Logic and structure
Näytä tarkat tiedot
Kirja
Dalen, Dirk van
Dalen, Dirk van
Hae tekijöistä
Hae aiheista
Sulje
1994
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
The logic of provability
Näytä tarkat tiedot
Kirja
Boolos, George
Boolos, George
Hae tekijöistä
Hae aiheista
Sulje
1993
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Aspects of definability
Näytä tarkat tiedot
Kirja
Rantala, Veikko
Rantala, Veikko
Hae tekijöistä
Hae aiheista
Sulje
1978
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
A mathematical introduction to logic
Näytä tarkat tiedot
Kirja
Enderton, Herbert B.
Enderton, Herbert B.
Hae tekijöistä
Hae aiheista
Sulje
2001
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Introduction to mathematical logic. Part I
Näytä tarkat tiedot
Kirja
Church, Alonzo
Church, Alonzo
Hae tekijöistä
Hae aiheista
Sulje
;
Truesdell, C. A.
Truesdell, C. A.
Hae tekijöistä
Hae aiheista
Sulje
1965
Aiheet:
“…
matematisk logik
…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
A concise introduction to mathematical logic
Näytä tarkat tiedot
Einführung in die mathematische Logik, englanti
Kirja
Rautenberg, Wolfgang
Rautenberg, Wolfgang
Hae tekijöistä
Hae aiheista
Sulje
2006
Aiheet:
“…
matematisk logik
…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Set theory and its logic
Näytä tarkat tiedot
Kirja
Quine, Willard Van Orman
Quine, Willard Van Orman
Hae tekijöistä
Hae aiheista
Sulje
1963
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Rajaa hakua
Valintaruuturajaimet
Verkossa saatavilla
Sallitut käyttötavat
Lataus keskeytyi
Lataa…
Aineistotyyppi
Lataus keskeytyi
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
Organisaatio
Lataus keskeytyi
Uutta Finnassa
Lataus keskeytyi
Lataa…
1
2
3
4
5
Seuraava
Viimeinen
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API
sulje
Vaikuta Finnan kehittämiseen ja vastaa kyselyyn!
Vastaajien kesken arvotaan 10 kpl Museokortteja.
Avaa kysely
Ei kiitos