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
Näytetään
1
- 20
/
685
Siirry seuraavalle sivulle
Järjestä
Järjestä
Vuosi (uusin ensin)
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
Steps forward towards a compactness theorem for currents in Heisenberg Groups
Näytä tarkat tiedot
Väitöskirja
Canarecci, Giovanni
,
kirjoittaja, respondentti
Canarecci, Giovanni
Hae tekijöistä
Hae aiheista
Sulje
;
Helsingin yliopisto. Matemaattis-luonnontieteellinen tiedekunta
,
oppiarvon myöntävä yhteisö
Helsingin yliopisto. Matemaattis-luonnontieteellinen tiedekunta
Hae tekijöistä
Hae aiheista
Sulje
2023
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Oulun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Algebraic and model-theoretic motifs in team semantics
Näytä tarkat tiedot
Väitöskirja
Quadrellaro, Davide Emilio
,
kirjoittaja, respondentti
Quadrellaro, Davide Emilio
Hae tekijöistä
Hae aiheista
Sulje
;
Helsingin yliopisto. Matemaattis-luonnontieteellinen tiedekunta
,
oppiarvon myöntävä yhteisö
Helsingin yliopisto. Matemaattis-luonnontieteellinen tiedekunta
Hae tekijöistä
Hae aiheista
Sulje
2023
Biologiset tieteet
(udk2 57)
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
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 4
Constructivisation through induction and conservation
Näytä tarkat tiedot
Väitöskirja
Fellin, Giulio
,
kirjoittaja, respondentti
Fellin, Giulio
Hae tekijöistä
Hae aiheista
Sulje
;
Helsingin yliopisto. Humanistinen tiedekunta
,
oppiarvon myöntävä yhteisö
Helsingin yliopisto. Humanistinen tiedekunta
Hae tekijöistä
Hae aiheista
Sulje
2022
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Verkossa saatavilla:
urn.fi/URN:ISBN:978-951-51-8460-3
(Useita organisaatioita)
https://urn.fi/URN:ISBN...51-51-8460-3
(Useita organisaatioita)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Succinctness and formula size games
Näytä tarkat tiedot
Väitöskirja
Vilander, Miikka
,
kirjoittaja
Vilander, Miikka
Hae tekijöistä
Hae aiheista
Sulje
2022
Logiikka. Tietoteoria. Epistemologia
(udkf 16)
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Verkossa saatavilla:
Linkki verkkoaineistoon
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Succinctness and formula size games
Näytä tarkat tiedot
Väitöskirja
Vilander, Miikka
,
kirjoittaja
Vilander, Miikka
Hae tekijöistä
Hae aiheista
Sulje
2022
Logiikka. Tietoteoria. Epistemologia
(udkf 16)
Saatavuustiedot:
Näytä saatavuustiedot
Kansalliskirjasto
Tampereen yliopisto - Trepo
Lataa…
Verkossa saatavilla:
Linkki verkkoaineistoon
https://trepo.tuni.fi/bitstrea...3-2541-1.pdf
(Tampereen yliopisto - Trepo)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Classical first-order logic
Näytä tarkat tiedot
Kirja
Shapiro, Stewart
,
kirjoittaja
Shapiro, Stewart
Hae tekijöistä
Hae aiheista
Sulje
;
Kissel, Teresa Kouri
,
kirjoittaja
Kissel, Teresa Kouri
Hae tekijöistä
Hae aiheista
Sulje
2022
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Constructivisation through induction and conservation
Näytä tarkat tiedot
Väitöskirja
Fellin, Giulio
,
kirjoittaja
,
1994-
Fellin, Giulio
Lisätiedot
Hae tekijöistä
Hae aiheista
Sulje
2022
Logiikka. Tietoteoria. Epistemologia
(udkf 16)
Kansalliskirjasto
Lataa…
Verkossa saatavilla:
Linkki verkkoaineistoon
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Logic without gaps or gluts : how to solve the paradoxes without sacrificing classical logic
Näytä tarkat tiedot
E-kirja
Burgis, Benjamin Alan
,
kirjoittaja
Burgis, Benjamin Alan
Lisätiedot
Hae tekijöistä
Hae aiheista
Sulje
2022
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
EBSCOhost - Full text
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Tractatus in context : the essential background for appreciating Wittgenstein's Tractatus logico-philosophicus
Näytä tarkat tiedot
Kirja
Klagge, James Carl
,
kirjoittaja
,
1954-
Klagge, James Carl
Hae tekijöistä
Hae aiheista
Sulje
2022
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
x + y : a mathematician's manifesto for rethinking gender
Näytä tarkat tiedot
Kirja
Cheng, Eugenia
,
kirjoittaja
Cheng, Eugenia
Hae tekijöistä
Hae aiheista
Sulje
2021
Matematiikka
(ykl 51)
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helmet-kirjastot
Vaski-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Journey to the edge of reason : the life of Kurt Gödel
Näytä tarkat tiedot
Kirja
Budiansky, Stephen
,
kirjoittaja
Budiansky, Stephen
Hae tekijöistä
Hae aiheista
Sulje
2021
Henkilö- ja sukuhistoria
(ykl 99)
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helmet-kirjastot
Kansalliskirjasto
Vaski-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
Näytä tarkat tiedot
Kirja
Düntsch, Ivo
,
toimittaja
Düntsch, Ivo
Hae tekijöistä
Hae aiheista
Sulje
;
Mares, Edwin
,
toimittaja
Mares, Edwin
Hae tekijöistä
Hae aiheista
Sulje
2021
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Vagueness in the exact sciences : impacts in mathematics, physics, chemistry, biology, medicine, engineering and computing
Näytä tarkat tiedot
Kirja
Syropoulos, Apostolos
,
toimittaja
Syropoulos, Apostolos
Hae tekijöistä
Hae aiheista
Sulje
;
Papadopoulos, Basil K.
,
toimittaja
Papadopoulos, Basil K.
Hae tekijöistä
Hae aiheista
Sulje
2021
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Thoughts, logic, and metalogic an investigation in Frege's philosophy
Näytä tarkat tiedot
Kirja
Shi, Weijun
,
tekijä
Shi, Weijun
Hae tekijöistä
Hae aiheista
Sulje
2021
Aiheet:
“…
matematisk logik
…”
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Husserl and mathematics
Näytä tarkat tiedot
Kirja
Hartimo, Mirja
,
kirjoittaja
,
1970-
Hartimo, Mirja
Hae tekijöistä
Hae aiheista
Sulje
2021
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Matematika za tšašetškoi kofe
Näytä tarkat tiedot
Matematica in pausa caffè, venäjä
Математика за чашечкой кофе
Kirja
Codogno, Maurizio
,
kirjoittaja
Codogno, Maurizio
Hae tekijöistä
Hae aiheista
Sulje
;
Pantelejenko, Olesja
,
kääntäjä
Pantelejenko, Olesja
Hae tekijöistä
Hae aiheista
Sulje
2020
Matematiikka
(ykl 51)
Helmet-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Logic and complexity in distributed computing
Näytä tarkat tiedot
Väitöskirja
Lempiäinen, Tuomo
,
kirjoittaja
,
1988-
Lempiäinen, Tuomo
Hae tekijöistä
Hae aiheista
Sulje
;
Aalto-yliopiston perustieteiden korkeakoulu. Tietotekniikan laitos
,
julkaisija
Aalto-yliopiston perustieteiden korkeakoulu. Tietotekniikan laitos
Hae tekijöistä
Hae aiheista
Sulje
2019
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Aalto-yliopisto - Aaltodoc
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Verkossa saatavilla:
https://aaltodoc.aalto.fi:443/bitstrea...26084787.pdf
(Aalto-yliopisto - Aaltodoc)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Digitaalitekniikan perusteet : aloitusopas digitaalisen maailman rakentajille
Näytä tarkat tiedot
Kirja
Poiksalo, Panu-Kristian
,
kirjoittaja
,
1975-
Poiksalo, Panu-Kristian
Hae tekijöistä
Hae aiheista
Sulje
;
Tampereen teknillinen yliopisto. Digitaali- ja tietokonetekniikan laitos
Tampereen teknillinen yliopisto. Digitaali- ja tietokonetekniikan laitos
Hae tekijöistä
Hae aiheista
Sulje
2019
Sähkötekniikka
(udkf 621.3)
Elektroniikka
(ykl 62.67)
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Kansalliskirjasto
Savonia-ammattikorkeakoulu
Seinäjoen ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Pohištšenije "tšernogo kvadrata", ili Novyje uroki deduški Gavrily
Näytä tarkat tiedot
Похищение "черного квадрата", или Новые уроки дедушки Гаврилы
Kirja
Šarygin, Igor
,
kirjoittaja
Šarygin, Igor
Hae tekijöistä
Hae aiheista
Sulje
;
Leontjeva, T.
,
kuvittaja
Leontjeva, T.
Hae tekijöistä
Hae aiheista
Sulje
2019
Venäjänkielinen kertomakirjallisuus
(ykl 84.71)
Helmet-kirjastot
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