Per Martin-lof's Documents

Per Martin-lof's Documents

Truth and Knowability, on the principles C and K of MIcheal Dummett

Truth and Knowability, on the principles C and K of MIcheal Dummett
Read more
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
Read more
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
Read more
Der Mann, der sich in Luft aufloeste

Der Mann, der sich in Luft aufloeste
Read more
The Central Nervous System: Structure and Function (4th Ed)

The Central Nervous System: Structure and Function (4th Ed)
Read more
Flavius Josephus, Between Jerusalem and Rome: His Life, His Works, and Their Importance

Flavius Josephus, Between Jerusalem and Rome: His Life, His Works, and Their Importance
Read more
Flavius Josephus, Between Jerusalem and Rome: His Life, His Works, and Their Importance (Journal for the Study of the Pseudepigrapha)

Flavius Josephus, Between Jerusalem and Rome: His Life, His Works, and Their Importance (Journal for the Study of the Pseudepigrapha)
Read more
Androids, Humanoids, and Other Folklore Monsters: Science and Soul in Science Fiction Films

Androids, Humanoids, and Other Folklore Monsters: Science and Soul in Science Fiction Films
Read more
The Bon Religion of Tibet: The Iconography of a Living Tradition

The Bon Religion of Tibet: The Iconography of a Living Tradition
Read more
De geur van Melisse

De geur van Melisse
Read more
Transactions on High-Performance Embedded Architectures and Compilers IV

Transactions on High-Performance Embedded Architectures and Compilers IV
Read more
Understanding cinema: a psychological theory of moving imagery

Understanding cinema: a psychological theory of moving imagery
Read more
Urbanization in Romania: A geography of social and economic change since independence

Urbanization in Romania: A geography of social and economic change since independence
Read more
Encyclopedia of the Elements: Technical Data - History - Processing - Applications

Encyclopedia of the Elements: Technical Data - History - Processing - Applications
Read more
Your Best Move. A Structured Approach To Move Selection In Chess

Your Best Move. A Structured Approach To Move Selection In Chess
Read more
Amazing Palmistry Secrets, 2nd edition

Amazing Palmistry Secrets, 2nd edition
Read more
Aspects of Incompleteness (Lecture Notes in Logic 10)

Aspects of Incompleteness (Lecture Notes in Logic 10)
Read more
De geur van Melisse

De geur van Melisse
Read more
Employment Protection Legislation: Evolution, Effects, Winners and Losers

Employment Protection Legislation: Evolution, Effects, Winners and Losers
Read more
I Curse the River of Time

I Curse the River of Time
Read more
De Geur Van Melisse

De Geur Van Melisse
Read more
Behavioural Biology of Dogs

Behavioural Biology of Dogs
Read more
Managing Service Firms: The Power of Managerial Marketing (Routledge Interpretive Marketing Research)

Managing Service Firms: The Power of Managerial Marketing (Routledge Interpretive Marketing Research)
Read more
Georgia: Pawn in the New Political Game

Georgia: Pawn in the New Political Game
Read more
Bernt Anker: samtid, liv og forfatterskap

Bernt Anker: samtid, liv og forfatterskap
Read more
De Geur Van Melisse

De Geur Van Melisse
Read more
Version Management with CVS

Version Management with CVS
Read more
School Development: Theories & Strategies, An International Handbook (School Development Series)

School Development: Theories & Strategies, An International Handbook (School Development Series)
Read more
The ethology of domestic animals: an introductory text

The ethology of domestic animals: an introductory text
Read more
Life Region: The Social and Cultural Ecology of Sustainable Development (Routledge Studies in Development and Society)

Life Region: The Social and Cultural Ecology of Sustainable Development (Routledge Studies in Development and Society)
Read more