返回Google圖書搜尋

Kompleksnost teorij Leŝniewskega in njihova uporaba

其他書名	doktorska disertacija
出版	I. Hafner, 1983
URL	http://books.google.com.hk/books?id=8UZyOwAACAAJ&hl=&source=gbs_api

註釋Obravnavamo dolžino dokaza v ekvivalentnostnem računu. Dokažemo, da je dolžina dokaza linearna funkcija dolžine formule. Dokažemo še, da je problem kompleksnosti prototetike neelementaren. Obravnavamo inskripcijsko sintakso za programske jezike ter več zgledov za uporabo ontologije in mereologije.