Per Martin-Löf's Documents

Per Martin-Löf's Documents

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
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
From nuclear transmutation to nuclear fission, 1932-1939

From nuclear transmutation to nuclear fission, 1932-1939
Read more
From Nuclear Transmutation to Nuclear Fission, 1932-1939

From Nuclear Transmutation to Nuclear Fission, 1932-1939
Read more
The Dai Vernon Book of Magic

The Dai Vernon Book of Magic
Read more
Curriculum in a New Key: The Collected Works of Ted T. Aoki (Studies in Curriculum Theory Series)

Curriculum in a New Key: The Collected Works of Ted T. Aoki (Studies in Curriculum Theory Series)
Read more
Wie Heiratet Man Einen MillionäR

Wie Heiratet Man Einen MillionäR
Read more
Der Mann, der sich in Luft aufloeste

Der Mann, der sich in Luft aufloeste
Read more
Twelve Millennia: Archaeology of the Upper Mississippi River Valley (Bur Oak Book)

Twelve Millennia: Archaeology of the Upper Mississippi River Valley (Bur Oak Book)
Read more
Law and Legalization in Transnational Relations (Routledge Advances in International Relations and Global Politics)

Law and Legalization in Transnational Relations (Routledge Advances in International Relations and Global Politics)
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
Law and the Public Dimension of Health

Law and the Public Dimension of Health
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