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:lauselogiikka OR topic_id_str_mv:("http://www.yso.fi/onto/yso/p10364")^100000 | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
133
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
On the proof theory of conditional logics
Näytä tarkat tiedot
Väitöskirja
Girlando, Marianna
,
kirjoittaja
,
1990-
Girlando, Marianna
Hae tekijöistä
Hae aiheista
Sulje
2019
Aiheet:
“…
lauselogiikka
…”
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-951-51-4841-4
(Useita organisaatioita)
https://urn.fi/URN:ISBN...51-51-4841-4
(Turun yliopisto)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Grid based propositional satisfiability solving
Näytä tarkat tiedot
Väitöskirja
Hyvärinen, Antti E. J.
Hyvärinen, Antti E. J.
Hae tekijöistä
Hae aiheista
Sulje
;
Junttila, Tommi, Dr
Junttila, Tommi, Dr
Hae tekijöistä
Hae aiheista
Sulje
;
Perustieteiden korkeakoulu
Perustieteiden korkeakoulu
Hae tekijöistä
Hae aiheista
Sulje
;
Tietojenkäsittelytieteen laitos
Tietojenkäsittelytieteen laitos
Hae tekijöistä
Hae aiheista
Sulje
;
Department of Information and Computer Science
Department of Information and Computer Science
Hae tekijöistä
Hae aiheista
Sulje
;
Niemelä, Ilkka, Prof
Niemelä, Ilkka, Prof
Hae tekijöistä
Hae aiheista
Sulje
;
Aalto-yliopisto
Aalto-yliopisto
Hae tekijöistä
Hae aiheista
Sulje
;
Aalto University
Aalto University
Hae tekijöistä
Hae aiheista
Sulje
2011
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto - Aaltodoc
Kansalliskirjasto
Verkossa saatavilla:
https://aaltodoc.aalto.fi/handle/123456789/5081
www.urn.fi/URN:ISBN:978-952-60-4368-5
https://aaltodoc.aalto.fi:443/bitstrea...26043685.pdf
(Aalto-yliopisto - Aaltodoc)
https://urn.fi/URN:ISBN...52-60-4368-5
(Useita organisaatioita)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Algoritmimatematiikka
Näytä tarkat tiedot
Kirja
Ruohonen, Keijo
Ruohonen, Keijo
Hae tekijöistä
Hae aiheista
Sulje
1993
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
LUT-tiedekirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Lauseloogisesta teoriasta
Näytä tarkat tiedot
Kirja
Verronen, Veli
,
1941-
Verronen, Veli
Hae tekijöistä
Hae aiheista
Sulje
1976
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Elementary logic
Näytä tarkat tiedot
Kirja
Quine, Willard Van Orman
Quine, Willard Van Orman
Hae tekijöistä
Hae aiheista
Sulje
1966
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Oulun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
First-order logic : an introduction
Näytä tarkat tiedot
Kirja
Cauman, Leigh S.
Cauman, Leigh S.
Hae tekijöistä
Hae aiheista
Sulje
1998
Aiheet:
“…
lauselogiikka
…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
The Routledge handbook of propositions
Näytä tarkat tiedot
Kirja
Murray, Adam Russell
,
toimittaja
Murray, Adam Russell
Hae tekijöistä
Hae aiheista
Sulje
;
Tillman, Chris
,
toimittaja
Tillman, Chris
Hae tekijöistä
Hae aiheista
Sulje
2023
Aiheet:
“…
lauselogiikka
…”
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
The logic book
Näytä tarkat tiedot
Kirja
Bergmann, Merrie
Bergmann, Merrie
Hae tekijöistä
Hae aiheista
Sulje
;
Moor, James
Moor, James
Hae tekijöistä
Hae aiheista
Sulje
;
Nelson, Jack
Nelson, Jack
Hae tekijöistä
Hae aiheista
Sulje
1998
Aiheet:
“…
lauselogiikka
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Philosophical logic
Näytä tarkat tiedot
Kirja
Burgess, John P.
Burgess, John P.
Hae tekijöistä
Hae aiheista
Sulje
2009
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Formal logic : its scope and limits
Näytä tarkat tiedot
Kirja
Jeffrey, Richard C.
Jeffrey, Richard C.
Hae tekijöistä
Hae aiheista
Sulje
1967
Aiheet:
“…
lauselogiikka
…”
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 11
Mathematical logic
Näytä tarkat tiedot
Kirja
Kleene, Stephen Cole
Kleene, Stephen Cole
Hae tekijöistä
Hae aiheista
Sulje
1968
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Conditionals
Näytä tarkat tiedot
Kirja
Jackson, Frank
Jackson, Frank
Hae tekijöistä
Hae aiheista
Sulje
1991
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Russell and analytic philosophy
Näytä tarkat tiedot
Kirja
Irvine, A. D.
Irvine, A. D.
Hae tekijöistä
Hae aiheista
Sulje
;
Wedeking, G. A.
Wedeking, G. A.
Hae tekijöistä
Hae aiheista
Sulje
1993
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Kansalliskirjasto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Wittgensteinin Tractatus logiikan kritiikkinä
Näytä tarkat tiedot
Artikkeli
Uschanov, Tommi
Uschanov, Tommi
Hae tekijöistä
Hae aiheista
Sulje
Julkaisussa
Niin & näin
5(1998) : 3, s.14-17
Filosofia
(ykl 11)
Aiheet:
“…
lauselogiikka
…”
Kansalliskirjasto - Arto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Logiikan peruskurssi
Näytä tarkat tiedot
Kirja
Rantala, Veikko
,
1933-
Rantala, Veikko
Hae tekijöistä
Hae aiheista
Sulje
;
Virtanen, Ari
Virtanen, Ari
Hae tekijöistä
Hae aiheista
Sulje
1989
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Helmet-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Vaski-kirjastot
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Logiikan peruskurssi
Näytä tarkat tiedot
Kirja
Miettinen, Seppo K.
Miettinen, Seppo K.
Hae tekijöistä
Hae aiheista
Sulje
1986
Logiikka
(ykl 12)
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Eepos-kirjastot
Heili-kirjastot
Helka-kirjastot
Helmet-kirjastot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Lapin kirjasto
Lapin korkeakoulukirjasto
Oulun yliopisto
OUTI-kirjastot
Rutakko-kirjastot
Tritonia - Tria
Turun yliopisto
Varastokirjasto
Vaski-kirjastot
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Semanttisen informaation teoriasta
Näytä tarkat tiedot
Kirja
Hintikka, Jaakko
,
kirjoittaja
,
1929-
Hintikka, Jaakko
Hae tekijöistä
Hae aiheista
Sulje
1966
Aiheet:
“…
lauselogiikka
…”
Kansalliskirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
The propositional logic of Boethius
Näytä tarkat tiedot
Kirja
Dürr, Karl
Dürr, Karl
Hae tekijöistä
Hae aiheista
Sulje
1951
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Kansalliskirjasto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Logiikka : perusteet
Näytä tarkat tiedot
Kirja
Miettinen, Seppo
Miettinen, Seppo
Hae tekijöistä
Hae aiheista
Sulje
2002
Logiikka
(ykl 12)
Sisällysluettelo:
“…
Logiikka
ja luonnollinen kieli -- 3.
Lauselogiikka
-- 4.
Predikaattilogiikka
-- 5. …”
Saatavuustiedot:
Näytä saatavuustiedot
3AMK-kirjastot
Aalto-yliopisto
Anders-kirjastot
Diakonia-ammattikorkeakoulu - Diana
Eepos-kirjastot
Heili-kirjastot
Helka-kirjastot
Helle-kirjastot
Helmet-kirjastot
Humanistinen ammattikorkeakoulu - Hurma
Itä-Suomen yliopisto
Joki-kirjastot
Jyväskylän yliopisto - Jykdok
Kaakkois-Suomen ammattikorkeakoulu - Kaakkuri
Kainet-kirjastot
Kajaanin ammattikorkeakoulu
Kansalliskirjasto
Karelia-ammattikorkeakoulu
Keski-kirjastot
Kirkes-kirjastot
Kuopion kaupunginkirjasto
Kyyti-kirjastot
Lapin kirjasto
Lapin korkeakoulukirjasto
Lastu-kirjastot
Leppävirran kirjasto
Louna-kirjastot
Lukki-kirjastot
LUMME-kirjastot
LUT-tiedekirjasto
Maanpuolustuskorkeakoulu - Taisto
Oulun yliopisto
OUTI-kirjastot
Pietarsaari
PIKI-kirjastot
Poliisiammattikorkeakoulu
Ratamo-kirjastot
Rutakko-kirjastot
Satakirjastot
Satakunnan ammattikorkeakoulu
Seinäjoen ammattikorkeakoulu
Siilinjärven kunnankirjasto
Someron kaupunginkirjasto
Tampereen yliopisto
Tritonia - Tria
Turun ammattikorkeakoulu
Turun yliopisto
Vaara-kirjastot
Vanamo-kirjastot
Varastokirjasto
Vaski-kirjastot
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
From naming to saying : the unity of the proposition
Näytä tarkat tiedot
Kirja
Gibson, Martha I.
Gibson, Martha I.
Hae tekijöistä
Hae aiheista
Sulje
2004
Aiheet:
“…
lauselogiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Kansalliskirjasto
Turun yliopisto
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