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:("matemaattinen logiikka.") 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
/
768
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
Contributions to the metamathematics of aritmethic : fixed points, independence, and flexibility
Näytä tarkat tiedot
Väitöskirja
Blanck, Rasmus
,
kirjoittaja
,
1982-
Blanck, Rasmus
Hae tekijöistä
Hae aiheista
Sulje
2017
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Kansalliskirjasto
Åbo Akademin kirjasto
Lataa…
Verkossa saatavilla:
hdl.handle.net/2077/52271
(Useita organisaatioita)
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
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:
“…
matemaattinen logiikka
…”
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 3
Matemaattinen logiikka
Näytä tarkat tiedot
Kirja
Niiniluoto, Ilkka
Niiniluoto, Ilkka
Hae tekijöistä
Hae aiheista
Sulje
1976
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Vaski-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Matemaattista logiikkaa
Näytä tarkat tiedot
Kirja
Rantala, Veikko
Rantala, Veikko
Hae tekijöistä
Hae aiheista
Sulje
1971
Aiheet:
“…
matemaattinen logiikka
…”
Tritonia - Tria
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Den matematiska logiken contra öfverinspektorns matematik : en tidningspolemik, försedd med slutord och utgifven
Näytä tarkat tiedot
Kirja
Stenberg, E. A.
Stenberg, E. A.
Hae tekijöistä
Hae aiheista
Sulje
1908
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Tritonia - Tria
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
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
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Solvability, provability, definability : the collected works of Emil L. Post
Näytä tarkat tiedot
Kirja
Post, Emil L.
Post, Emil L.
Hae tekijöistä
Hae aiheista
Sulje
;
Davis, Martin
Davis, Martin
Hae tekijöistä
Hae aiheista
Sulje
1994
Aiheet:
“…
matemaattinen logiikka
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Unpublished philosophical essays
Näytä tarkat tiedot
Kirja
Gödel, Kurt
Gödel, Kurt
Hae tekijöistä
Hae aiheista
Sulje
;
Rodriguez-Consuegra, Francisco A.
Rodriguez-Consuegra, Francisco A.
Hae tekijöistä
Hae aiheista
Sulje
1995
Aiheet:
“…
matemaattinen logiikka
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Presburgerin ja Gödelin aritmetiikat
Näytä tarkat tiedot
Kirja
Partanen, Heikki
,
1947-
Partanen, Heikki
Lisätiedot
Hae tekijöistä
Hae aiheista
Sulje
2001
Matematiikka
(udkf 51)
Matematiikka
(ykl 51)
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Kansalliskirjasto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Introductory logic notes
Näytä tarkat tiedot
Kirja
Miller, David
,
kirjoittaja
Miller, David
Hae tekijöistä
Hae aiheista
Sulje
1977
Aiheet:
“…
matemaattinen logiikka
…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Many-valued logics. 1, Theoretical foundations
Näytä tarkat tiedot
Kirja
Bolc, Leonard
Bolc, Leonard
Hae tekijöistä
Hae aiheista
Sulje
;
Borowik, Piotr
Borowik, Piotr
Hae tekijöistä
Hae aiheista
Sulje
1992
Aiheet:
“…
matemaattinen logiikka
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Two papers on symbolic logic : Form and content in quantification theory and Reductions in the theory of types
Näytä tarkat tiedot
Kirja
Hintikka, Jaakko
,
1929-2015
Hintikka, Jaakko
Hae tekijöistä
Hae aiheista
Sulje
1955
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Oulun yliopisto
Tampereen yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
Classical recursion theory : the theory of functions and sets of natural numbers
Näytä tarkat tiedot
Kirja
Odifreddi, Piergiorgio
Odifreddi, Piergiorgio
Hae tekijöistä
Hae aiheista
Sulje
1989
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Tampereen yliopisto
Turun yliopisto
Varastokirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Computability, complexity, logic
Näytä tarkat tiedot
Berechenbarkeit, komplexität, Logik. Englanti
Kirja
Börger, Egon
Börger, Egon
Hae tekijöistä
Hae aiheista
Sulje
1989
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Foundations of mathematical logic
Näytä tarkat tiedot
Kirja
Curry, Haskell B.
Curry, Haskell B.
Hae tekijöistä
Hae aiheista
Sulje
1977
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Turun yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Logic for mathematics and computer science
Näytä tarkat tiedot
Kirja
Burris, Stanley N.
,
kirjoittaja
Burris, Stanley N.
Hae tekijöistä
Hae aiheista
Sulje
1998
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
A browsable format for proof presentation
Näytä tarkat tiedot
Kirja
Grundy, Jim
Grundy, Jim
Hae tekijöistä
Hae aiheista
Sulje
1996
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
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
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning
Näytä tarkat tiedot
Kirja
Boole, George
Boole, George
Hae tekijöistä
Hae aiheista
Sulje
1965
Aiheet:
“…
matemaattinen logiikka
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Essentials of symbolic logic
Näytä tarkat tiedot
Kirja
Simpson, R. L.
Simpson, R. L.
Hae tekijöistä
Hae aiheista
Sulje
1988
Aiheet:
“…
matemaattinen logiikka
…”
Åbo Akademin kirjasto
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