Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (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.
Gēderu no teiri : Riyō to goyō no fukanzen gaido
Gödel's theorem : an incomplete guide to its use and abuse
Inexhaustability, c2002:
Inexhaustibility : a non-exhaustive treatment
Inexhaustibility, cop. 2004:
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 BNF LC NDL NTA NUKAT SELIBR SUDOC WKP
TEL