VIAF

Virtual International Authority File

Search

Franzén, Torkel Library of Congress/NACO Sudoc [ABES], France ISNI-test National Library of the Netherlands-test Wikipedia (en) National Library of France

Franzén, Torkel, 1950-2006 National Diet Library, Japan National Library of Sweden

Franzén, Torkel (1950- ). NUKAT Center of Warsaw University Library German National Library

VIAF ID: 41878811 (Personal)

Permalink: http://viaf.org/viaf/41878811

ISNI-test: 0000  0001  1058  9718 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (1)

Open Section Close SectionWorks

Title Sources
'53 Wikipedia (en)
Algorithmic aspects of intuitionistic propositional logic. National Library of Sweden
Gederu no teiri : Riyo to goyo no fukanzen gaido. National Diet Library, Japan
Gödel's theorem an incomplete guide to its use and abuse NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Wikipedia (en)
Inexhaustibility a non-exhaustive treatment National Library of the Netherlands-test Library of Congress/NACO National Library of Sweden NUKAT Center of Warsaw University Library Wikipedia (en) Sudoc [ABES], France
JAVA från grunden National Library of Sweden
Logical aspects of the Andorra Kernal Language National Library of Sweden
Logik med tillämpningar National Library of Sweden
notices of the american mathematical society Wikipedia (en)
Provability and truth / T. Franzén, 1987 Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands-test National Library of Sweden NUKAT Center of Warsaw University Library National Library of France
Webbdesign med fokus på användbarhet National Library of Sweden
ゲーデルの定理 : 利用と誤用の不完全ガイド National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:41878811 (24)