VIAF

Virtual International Authority File

Search

Lindström, Per, 1936-2009 National Library of the Netherlands-test Library of Congress/NACO National Library of Sweden

Lindström, Per (1936- ). NUKAT Center of Warsaw University Library Sudoc [ABES], France

Lindstrom, P. ISNI-test

Lindström, Per Wikipedia (en) German National Library

VIAF ID: 40107897 (Personal)

Permalink: http://viaf.org/viaf/40107897

ISNI-test: 0000  0003  7387  9493 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
All's well that ends well : an introduction to the priority method in recursion theory National Library of Sweden
The arithmetization of metamathematics and some of its applications National Library of Sweden
Aspects of incompleteness NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO National Library of Sweden xR Extended Titles-test Wikipedia (en) Sudoc [ABES], France
First-order logic National Library of the Netherlands-test Library of Congress/NACO National Library of Sweden
Logic and abstraction, c1986: National Library of the Netherlands-test Library of Congress/NACO
More on partially conservative sentences and interpretability National Library of Sweden
Morley's proof National Library of Sweden
Omitting uncountable types and extensions of elementary logic National Library of Sweden
Some results on relative interpretability National Library of Sweden
Trial and error relations and their guessing functions National Library of Sweden

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

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:40107897 (36)