|
rdfs:label
|
"Logics and provability / Katsumi Sasaki"
|
|
schema:name
|
"Logics and provability"
|
|
schema:author
|
Sasaki, Katsumi
|
|
schema:description
|
"Proefschrift Universiteit van Amsterdam"
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/67040414>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/bc48b21a78d72602002341a19343ded3>
|
|
http://purl.org/dc/terms#issued
|
"2001"
|
|
schema:about
|
Modale logica
|
|
Modeltheorie
|
|
Theory of proof
|
|
Intuïtionisme
|
|
<http://data.bibliotheken.nl/id/thes/p077601874>
|
|
schema:associatedMedia
|
<http://dare.uva.nl/document/85164>
|
|
schema:bookFormat
|
schema:EBook
|
|
schema:inLanguage
|
"en"
|
|
schema:isBasedOn
|
Logics and provability / Katsumi Sasaki
|
|
schema:isPartOf
|
ILLC dissertation series
|
|
schema:isbn
|
"905776069X"
|
|
schema:numberOfPages
|
139
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/2fb0324d71177a7bdb924db73113f552>
|