Home Advanced Search

Advanced Search - Page 1

Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
  • PDF
  • English
  • Year: 1985
  • Author: Per Martin-Lof
Intuitionistic Type Theory
  • DJVU
  • English
  • Year: 1985
  • Author: Per Martin-Lof
Statistical mechanics and the foundations of thermodynamics
  • DJVU
  • English
  • Year: 1979
  • Author: A Martin-Lof
100 Years of Zermelos Axiom of Choice What was the Problem with It
  • PDF
  • English
  • Author: Martin-Lof P.
Notes on Constructive Mathematics
  • PDF
  • English
  • Year: 1970
  • Author: Per Martin-Löf
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
  • PDF
  • English
  • Author: Per Martin-Löf
Efficient High-Order Discretizations for Computational Fluid Dynamics
  • PDF
  • English
  • Year: 2021
  • Author: Martin Kronbichler (editor), Per-Olof Persson (editor)
A Good Disruption : Redefining Growth in the Twenty-First Century
  • EPUB
  • English
  • Year: 2017
  • Author: Martin Stuchtey; Per-Anders Enkvist; Klaus Zumwinkel
Case Study Research in Software Engineering: Guidelines and Examples
  • PDF
  • English
  • Year: 2012
  • Author: Per Runeson, Martin Host, Austen Rainer, Bjorn Regnell
Essentials of risk theory
  • EPUB
  • English
  • Year: 2013
  • Author: Sabine Roeser, Rafaela Hillerbrand, Per Sandin & Martin Peterson
search