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ä
Viimeksi lisätty
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
El continuo Peirceano : aspectos globales y locales de genericidad, reflexividad y modalidad: una visión del continuo y la arquitectónica pragmática peirceana desde la lógica matem...
Näytä tarkat tiedot
Kirja
Zalamea, Fernando
Zalamea, Fernando
Hae tekijöistä
Hae aiheista
Sulje
2001
Aiheet:
“…
matematisk logik
…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Temporal logic : mathematical foundations and computational aspects. Vol. 2
Näytä tarkat tiedot
Kirja
Gabbay, Dov M.
Gabbay, Dov M.
Hae tekijöistä
Hae aiheista
Sulje
;
Reynolds, Mark A.
Reynolds, Mark A.
Hae tekijöistä
Hae aiheista
Sulje
;
Finger, Marcelo
Finger, Marcelo
Hae tekijöistä
Hae aiheista
Sulje
2000
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
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 4
Descriptive complexity, canonisation, and definable graph structure theory
Näytä tarkat tiedot
Kirja
Grohe, M.
,
kirjoittaja
Grohe, M.
Hae tekijöistä
Hae aiheista
Sulje
;
Association for Symbolic Logic
Association for Symbolic Logic
Hae tekijöistä
Hae aiheista
Sulje
2017
Tampereen yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
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 6
Patras Logic Symposium : proceedings of the Logic Symposium held at Patras, Greece, August 18-22, 1980
Näytä tarkat tiedot
Kirja
Metakides, George
,
toimittaja
,
1945-
Metakides, George
Hae tekijöistä
Hae aiheista
Sulje
1982
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Southeast Asian conference on logic : proceedings of the Logic Conference, Singapore, 1981
Näytä tarkat tiedot
Kirja
Chong, C.-T
,
toimittaja
,
1949-
Chong, C.-T
Hae tekijöistä
Hae aiheista
Sulje
;
Wicks, M. J.
,
toimittaja
,
1928-
Wicks, M. J.
Hae tekijöistä
Hae aiheista
Sulje
1983
Aiheet:
“…
matematisk logik
…”
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
Deviant logic, fuzzy logic : beyond the formalism
Näytä tarkat tiedot
Kirja
Haack, Susan
,
kirjoittaja
Haack, Susan
Hae tekijöistä
Hae aiheista
Sulje
1996
Saatavuustiedot:
Näytä saatavuustiedot
Helka-kirjastot
Tampereen yliopisto
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Bayesian nets and causality : philosophical and computational foundations
Näytä tarkat tiedot
Kirja
Williamson, Jon
Williamson, Jon
Hae tekijöistä
Hae aiheista
Sulje
2005
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Turun yliopisto
Varastokirjasto
Lataa…
Verkossa saatavilla:
Publisher description
Table of contents only
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Optimization methods for logical inference
Näytä tarkat tiedot
Kirja
Chandru, Vijay
Chandru, Vijay
Hae tekijöistä
Hae aiheista
Sulje
;
Hooker, John
Hooker, John
Hae tekijöistä
Hae aiheista
Sulje
1999
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Helka-kirjastot
Jyväskylän yliopisto - Jykdok
Varastokirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Lectures in model theory
Näytä tarkat tiedot
Kirja
Jahnke, Franziska
,
toimittaja
Jahnke, Franziska
Hae tekijöistä
Hae aiheista
Sulje
;
Palacín, Daniel
,
toimittaja
Palacín, Daniel
Hae tekijöistä
Hae aiheista
Sulje
;
Tent, Katrin
,
toimittaja
,
1963-
Tent, Katrin
Hae tekijöistä
Hae aiheista
Sulje
2018
Helka-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
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 13
Exact philosophy : problems, tools, and goals
Näytä tarkat tiedot
Kirja
Bunge, Mario
,
1919-
Bunge, Mario
Hae tekijöistä
Hae aiheista
Sulje
1973
Aiheet:
“…
Matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Tampereen yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
The concept of model : an introduction to the materialist epistemology of mathematics
Näytä tarkat tiedot
Le concept de modèle. Englanti
Kirja
Badiou, Alain
,
kirjoittaja
Badiou, Alain
Hae tekijöistä
Hae aiheista
Sulje
;
Tho, Tzuchien
,
toimittaja, kääntäjä
Tho, Tzuchien
Hae tekijöistä
Hae aiheista
Sulje
;
Fraser, Zachary Luke
,
toimittaja, kääntäjä
Fraser, Zachary Luke
Hae tekijöistä
Hae aiheista
Sulje
2007
Logiikka
(ykl 12)
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Varastokirjasto
Vaski-kirjastot
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Johdatus modaalilogiikkaan
Näytä tarkat tiedot
Kirja
Rantala, Veikko
Rantala, Veikko
Hae tekijöistä
Hae aiheista
Sulje
;
Virtanen, Ari
Virtanen, Ari
Hae tekijöistä
Hae aiheista
Sulje
2004
Aiheet:
“…
matematisk logik
…”
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Eepos-kirjastot
Helka-kirjastot
Helle-kirjastot
Helmet-kirjastot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kainet-kirjastot
Kansalliskirjasto
Keski-kirjastot
Kirkes-kirjastot
Kuopion kaupunginkirjasto
Kyyti-kirjastot
Lapin kirjasto
Lastu-kirjastot
LUMME-kirjastot
LUT-tiedekirjasto
Oulun yliopisto
OUTI-kirjastot
PIKI-kirjastot
Ratamo-kirjastot
Rutakko-kirjastot
Satakirjastot
Seinäjoen ammattikorkeakoulu
Siilinjärven kunnankirjasto
Tampereen yliopisto
Tritonia - Tria
Turun yliopisto
Vaara-kirjastot
Varastokirjasto
Vaski-kirjastot
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Playable cities : the city as a digital playground
Näytä tarkat tiedot
Kirja
Nijholt, Anton
,
toimittaja
Nijholt, Anton
Hae tekijöistä
Hae aiheista
Sulje
2017
Pelit
(ykl 79.81)
Saatavuustiedot:
Näytä saatavuustiedot
LUT-tiedekirjasto
Tampereen yliopisto
Lataa…
Verkossa saatavilla:
Contributor biographical information
Publisher description
Table of contents only
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Classification of Thyroid disease by similarity measure based classifier and OWA operators
Näytä tarkat tiedot
Maisterivaiheen työ
Nkundintwari, Theogene
Nkundintwari, Theogene
Hae tekijöistä
Hae aiheista
Sulje
2012
LUT-tiedekirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
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 19
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 20
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
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