Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000110589718 | 1 hits
Person
ISNI: 
0000 0001 1058 9718
Name: 
Franzén, Torkel,
フランセーン, トルケル
Dates: 
1950-2006
Creation class: 
cre
Language material
Text
Creation role: 
author
Related names: 
Association for Symbolic Logic
Molich, Rolf
Stockholm : Univ
Swedish Institute of Computer Science
Tanaka, Kazuyuki (1955-)
田中, 一之 (1955-)
Titles: 
'53
Algorithmic aspects of intuitionistic propositional logic.
Gederu no teiri : Riyo to goyo no fukanzen gaido.
Gödel's theorem an incomplete guide to its use and abuse
Inexhaustibility a non-exhaustive treatment
JAVA från grunden
Logical aspects of the Andorra Kernal Language
Logik med tillämpningar
notices of the american mathematical society
Provability and truth
Webbdesign med fokus på användbarhet
ゲーデルの定理 : 利用と誤用の不完全ガイド
Notes: 
Diss. Stockholm : Univ
Sources: 
VIAF DNB LC NDL NTA NUKAT SELIBR SUDOC WKP
TEL