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
Kaikki osumat
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
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
Hakutulokset
Rajaa hakua
Siirry edelliselle sivulle
Näytetään
41
- 60
/
685
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 41
After Gödel : Platonism and rationalism in mathematics and logic
Näytä tarkat tiedot
Kirja
Tieszen, Richard
Tieszen, Richard
Hae tekijöistä
Hae aiheista
Sulje
2011
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 42
Universal logic : an anthology: from Paul Hertz to Dov Gabbay
Näytä tarkat tiedot
Kirja
Béziau, Jean-Yves
,
toimittaja
Béziau, Jean-Yves
Hae tekijöistä
Hae aiheista
Sulje
2011
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 43
The philosophy of Frege : a four-volume collection of scholarly articles on all aspects of Frege's philosophy. Vol. 2, Logic and foundations of mathematics in Frege's philosophy
Näytä tarkat tiedot
Kirja
Sluga, Hans
Sluga, Hans
Hae tekijöistä
Hae aiheista
Sulje
1993
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 44
Modern mathematical logic
Näytä tarkat tiedot
Kirja
Mileti, Joseph
,
kirjoittaja
Mileti, Joseph
Hae tekijöistä
Hae aiheista
Sulje
2023
Aiheet:
“…
matematisk logik
…”
Tritonia - Tria
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 45
Logic programming and non-monotonic reasoning : proceedings of the 1rst international workshop
Näytä tarkat tiedot
Kirja
Nerode, Anil
Nerode, Anil
Hae tekijöistä
Hae aiheista
Sulje
;
Marek, Wiktor
Marek, Wiktor
Hae tekijöistä
Hae aiheista
Sulje
;
Subrahmanian, V. S.
Subrahmanian, V. S.
Hae tekijöistä
Hae aiheista
Sulje
1991
Aiheet:
“…
matematisk logik
…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 46
From Frege to Gödel : a source book in mathematical logic, 1879-1931
Näytä tarkat tiedot
Kirja
Heijenoort, Jean van
Heijenoort, Jean van
Hae tekijöistä
Hae aiheista
Sulje
1981
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 47
From Frege to Gödel : a source book in mathematical logic, 1879-1931
Näytä tarkat tiedot
Kirja
Heijenoort, Jean van
Heijenoort, Jean van
Hae tekijöistä
Hae aiheista
Sulje
1967
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 48
Enumerability, decidability, computability : an introduction to the theory of recursive functions
Näytä tarkat tiedot
Aufzählbarkeit, Entscheidbarkeit, Berechnenbarkeit. Englanti
Kirja
Hermes, Hans
Hermes, Hans
Hae tekijöistä
Hae aiheista
Sulje
1965
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 49
The axiom of choice
Näytä tarkat tiedot
Kirja
Jech, Thomas J.
Jech, Thomas J.
Hae tekijöistä
Hae aiheista
Sulje
2008
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 50
Inexhaustibility : a non-exhaustive treatment
Näytä tarkat tiedot
Kirja
Franzén, Torkel
Franzén, Torkel
Hae tekijöistä
Hae aiheista
Sulje
2004
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 51
Computability and logic
Näytä tarkat tiedot
Kirja
Boolos, George
,
kirjoittaja
Boolos, George
Hae tekijöistä
Hae aiheista
Sulje
;
Burgess, John P.
,
kirjoittaja
Burgess, John P.
Hae tekijöistä
Hae aiheista
Sulje
;
Jeffrey, Richard C.
,
kirjoittaja
Jeffrey, Richard C.
Hae tekijöistä
Hae aiheista
Sulje
2007
Aiheet:
“…
matematisk logik
…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 52
Philosophische Bemerkungen
Näytä tarkat tiedot
Kirja
Wittgenstein, Ludwig
,
1889-1951
Wittgenstein, Ludwig
Hae tekijöistä
Hae aiheista
Sulje
;
Rhees, Rush
Rhees, Rush
Hae tekijöistä
Hae aiheista
Sulje
1964
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Kansalliskirjasto
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 53
The philosophy of set theory : an historical introduction to Cantor's paradise
Näytä tarkat tiedot
Kirja
Tiles, Mary
,
kirjoittaja
Tiles, Mary
Hae tekijöistä
Hae aiheista
Sulje
1989
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 54
Das mathematische Denken der Antike
Näytä tarkat tiedot
Kirja
Becker, Oskar
Becker, Oskar
Hae tekijöistä
Hae aiheista
Sulje
;
Patzig, Günther
Patzig, Günther
Hae tekijöistä
Hae aiheista
Sulje
1966
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 55
An introduction to non-classical logic
Näytä tarkat tiedot
Kirja
Priest, Graham
Priest, Graham
Hae tekijöistä
Hae aiheista
Sulje
2001
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Oulun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 56
Sumea logiikka
Näytä tarkat tiedot
Fuzzy thinking
Kirja
Kosko, Bart
,
kirjoittaja
Kosko, Bart
Hae tekijöistä
Hae aiheista
Sulje
;
Pietiläinen, Kimmo
,
kääntäjä
Pietiläinen, Kimmo
Hae tekijöistä
Hae aiheista
Sulje
2001
Logiikka
(ykl 12)
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Anders-kirjastot
Eepos-kirjastot
Helka-kirjastot
Helmet-kirjastot
Joki-kirjastot
Jyväskylän yliopisto - Jykdok
Kainet-kirjastot
Kansalliskirjasto
Keski-kirjastot
Kirkes-kirjastot
Lapin korkeakoulukirjasto
Lastu-kirjastot
Lukki-kirjastot
LUMME-kirjastot
Oulun yliopisto
Rutakko-kirjastot
Turun yliopisto
Vanamo-kirjastot
Varastokirjasto
Vaski-kirjastot
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 57
Collected works (3). Vol. 3, Unpublished essays and lectures
Näytä tarkat tiedot
Kirja
Gödel, Kurt
Gödel, Kurt
Hae tekijöistä
Hae aiheista
Sulje
;
Feferman, Solomon
Feferman, Solomon
Hae tekijöistä
Hae aiheista
Sulje
1995
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Tampereen yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 58
Clausal form logic : an introduction to the logic of computer reasoning
Näytä tarkat tiedot
Kirja
Richards, Tom
Richards, Tom
Hae tekijöistä
Hae aiheista
Sulje
1989
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 59
Logic, methodology and philosophy of science. [2], Proceedings of the 1964 international congress
Näytä tarkat tiedot
Kirja
Bar-Hillel, Yehoshua
Bar-Hillel, Yehoshua
Hae tekijöistä
Hae aiheista
Sulje
1965
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Kansalliskirjasto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 60
An introduction to non-classical logic : from if to is
Näytä tarkat tiedot
Kirja
Priest, Graham
Priest, Graham
Hae tekijöistä
Hae aiheista
Sulje
2008
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Siirry seuraavalle sivulle
1
2
3
4
5
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…
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API