National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Logiikkaa : teoriaa ja sovelluksia
URI:
http://urn.fi/URN:NBN:fi:bib:me:W00021016400
about
lauselogiikka
logiikka
predikaattilogiikka
todistusteoria
author
Rantala, Veikko
contributor
Tampereen yliopisto. Matemaattisten tieteiden laitos
Virtanen, Ari
inLanguage
fi
isPartOf
Fennica
name
Logiikkaa : teoriaa ja sovelluksia
P60049
<http://rdaregistry.info/termList/RDAContentType/1020>
Instances
1995 : Tampereen yliopisto
1999 : Tampereen yliopisto
View this in Finna
Logiikkaa : teoriaa ja sovelluksia
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00306005700
datePublished
1995
description
kuvitettu
Lisäpainokset: [Lisäp.] 1996. - [Lisäp.] 1997. - [Lisäp.] 1998.
identifier
propertyID:
FI-FENNI
value:
469321
propertyID:
FI-MELINDA
value:
003060057
propertyID:
skl
value:
fx469321
isbn
951443823X
isPartOf
Fennica
Publikation / Tekniska högskolan i Helsingfors, laboratoriet för akustik
name
Logiikkaa : teoriaa ja sovelluksia
numberOfPages
102, [4] s.
P60048
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Tampere
organizer:
Tampereen yliopisto
publisher
Tampereen yliopisto
View this in Finna
Logiikkaa : teoriaa ja sovelluksia
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00021016400
datePublished
1999
description
kuvitettu
identifier
propertyID:
FI-FENNI
value:
654717
propertyID:
FI-MELINDA
value:
000210164
propertyID:
skl
value:
fx654717
isbn
9514446240
isPartOf
Fennica
Moniste / Tampereen yliopisto, matematiikan, tilastotieteen ja filosofian laitos. B
name
Logiikkaa : teoriaa ja sovelluksia
numberOfPages
103, [6] s.
P60048
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Tampere
organizer:
Tampereen yliopisto
publisher
Tampereen yliopisto
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD