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
81
- 100
/
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 81
Calculus : lukion pitkä matematiikka. 8, Lukuteoria ja logiikka
Näytä tarkat tiedot
Kirja
Jäppinen, Paavo
,
1938-
Jäppinen, Paavo
Hae tekijöistä
Hae aiheista
Sulje
;
Kupiainen, Alpo (oppikirjailija)
Kupiainen, Alpo (oppikirjailija)
Hae tekijöistä
Hae aiheista
Sulje
;
Räsänen, Matti
Räsänen, Matti
Hae tekijöistä
Hae aiheista
Sulje
1997
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Helmet-kirjastot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kainet-kirjastot
Kansalliskirjasto
Keski-kirjastot
Leppävirran kirjasto
Oulun yliopisto
OUTI-kirjastot
PIKI-kirjastot
Someron kaupunginkirjasto
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 82
A note on the consistency and completeness of the pure implicational functional calculus of first order
Näytä tarkat tiedot
Kirja
Verronen, Veli
Verronen, Veli
Hae tekijöistä
Hae aiheista
Sulje
1974
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 83
The Haskell road to logic, maths and programming
Näytä tarkat tiedot
Kirja
Doets, Kees
Doets, Kees
Hae tekijöistä
Hae aiheista
Sulje
;
Eijck, J. van
Eijck, J. van
Hae tekijöistä
Hae aiheista
Sulje
2004
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Helka-kirjastot
Tampereen yliopisto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 84
Logic and knowledge : essays 1901-1950
Näytä tarkat tiedot
Kirja
Russell, Bertrand
Russell, Bertrand
Hae tekijöistä
Hae aiheista
Sulje
;
Marsh, Robert Charles
Marsh, Robert Charles
Hae tekijöistä
Hae aiheista
Sulje
1956
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Helmet-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Satakirjastot
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 85
From a logical point of view
Näytä tarkat tiedot
Kirja
Quine, Willard Van Orman
Quine, Willard Van Orman
Hae tekijöistä
Hae aiheista
Sulje
1963
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Itä-Suomen yliopisto
Lapin korkeakoulukirjasto
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 86
Proceedings of the Third Scandinavian Logic Symposium
Näytä tarkat tiedot
Kirja
Kanger, Stig
,
toimittaja
Kanger, Stig
Hae tekijöistä
Hae aiheista
Sulje
1975
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 87
The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel
Näytä tarkat tiedot
Kirja
Grattan-Guinness, I.
Grattan-Guinness, I.
Hae tekijöistä
Hae aiheista
Sulje
2000
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 88
How to prove it : a structured approach
Näytä tarkat tiedot
Kirja
Velleman, Daniel J.
,
kirjoittaja
Velleman, Daniel J.
Hae tekijöistä
Hae aiheista
Sulje
2006
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Oulun yliopisto
Tampereen yliopisto
Vaski-kirjastot
Lataa…
Verkossa saatavilla:
Table of contents
Contributor biographical information
Publisher description
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 89
Logics for concurrency : structure versus automata
Näytä tarkat tiedot
Kirja
Birtwistle, G. M.
Birtwistle, G. M.
Hae tekijöistä
Hae aiheista
Sulje
;
Moller, Faron
Moller, Faron
Hae tekijöistä
Hae aiheista
Sulje
1996
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Turun yliopisto
Varastokirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 90
Elements of automata theory
Näytä tarkat tiedot
Éléments de théorie des automates
Kirja
Sakarovitch, Jacques
Sakarovitch, Jacques
Hae tekijöistä
Hae aiheista
Sulje
2009
Saatavuustiedot:
Näytä saatavuustiedot
Tampereen yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 91
The proof is in the pudding : the changing nature of mathematical proof
Näytä tarkat tiedot
Kirja
Krantz, Steven G.
Krantz, Steven G.
Hae tekijöistä
Hae aiheista
Sulje
2011
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 92
Tractatus logico-philosophicus
Näytä tarkat tiedot
Kirja
Wittgenstein, Ludwig
Wittgenstein, Ludwig
Hae tekijöistä
Hae aiheista
Sulje
1961
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 93
Mathematical logic : a course with exercises. 1, Propositional calculus, boolean algebras, predicate calculus
Näytä tarkat tiedot
Logique mathématique. Englanti
Kirja
Cori, René
Cori, René
Hae tekijöistä
Hae aiheista
Sulje
;
Lascar, Daniel
Lascar, Daniel
Hae tekijöistä
Hae aiheista
Sulje
;
Pelletier, Donald H.
Pelletier, Donald H.
Hae tekijöistä
Hae aiheista
Sulje
2000
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 94
Temporal logic : mathematical foundations and computational aspects. Volume 1
Näytä tarkat tiedot
Kirja
Gabbay, Dov M.
Gabbay, Dov M.
Hae tekijöistä
Hae aiheista
Sulje
;
Hodkinson, Ian
Hodkinson, Ian
Hae tekijöistä
Hae aiheista
Sulje
;
Reynolds, Mark
Reynolds, Mark
Hae tekijöistä
Hae aiheista
Sulje
1994
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 95
Logic, rationality, and interaction : second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings
Näytä tarkat tiedot
Kirja
He, Xiangdong
,
toimittaja
He, Xiangdong
Hae tekijöistä
Hae aiheista
Sulje
;
Horty, John
,
toimittaja
Horty, John
Hae tekijöistä
Hae aiheista
Sulje
;
Pacuit, Eric
,
toimittaja
Pacuit, Eric
Hae tekijöistä
Hae aiheista
Sulje
2009
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 96
Logic and its applications : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings
Näytä tarkat tiedot
Kirja
Banerjee, Mohua
,
toimittaja
Banerjee, Mohua
Hae tekijöistä
Hae aiheista
Sulje
;
Seth, Anil
,
toimittaja
,
1965-
Seth, Anil
Hae tekijöistä
Hae aiheista
Sulje
2011
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 97
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday
Näytä tarkat tiedot
Kirja
Coecke, Bob
,
toimittaja
Coecke, Bob
Hae tekijöistä
Hae aiheista
Sulje
;
Ong, Luke
,
toimittaja
Ong, Luke
Hae tekijöistä
Hae aiheista
Sulje
;
Panangaden, P.
,
toimittaja
Panangaden, P.
Hae tekijöistä
Hae aiheista
Sulje
;
Abramsky, Samson
,
teoksella kunnioitettu
,
1953-
Abramsky, Samson
Hae tekijöistä
Hae aiheista
Sulje
2013
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 98
Logic and philosophy today. Volume 2
Näytä tarkat tiedot
Kirja
Gupta, Amitava
,
toimittaja
Gupta, Amitava
Hae tekijöistä
Hae aiheista
Sulje
;
Benthem, Johan van
,
toimittaja
,
1949-
Benthem, Johan van
Hae tekijöistä
Hae aiheista
Sulje
2011
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 99
Introductory logic notes
Näytä tarkat tiedot
Kirja
Miller, David
,
kirjoittaja
Miller, David
Hae tekijöistä
Hae aiheista
Sulje
1977
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 100
Accuracy and the laws of credence
Näytä tarkat tiedot
Kirja
Pettigrew, Richard
,
kirjoittaja
Pettigrew, Richard
Hae tekijöistä
Hae aiheista
Sulje
2016
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Siirry seuraavalle sivulle
3
4
5
6
7
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