Home Advanced Search

Advanced Search - Page 1

Combinators, λ-Terms and Proof Theory
  • PDF
  • English
  • Year: 1972
  • Author: Sören Stenlund (auth.)
Logical Theory and Semantic Analysis: Essays Dedicated to STIG KANGER on His Fiftieth Birthday
  • PDF
  • English
  • Year: 1974
  • Author: David Lewis (auth.), Sören Stenlund, Ann-Mari Henschen-Dahlquist, Lars Lindahl, Lennart Nordenfelt, Jan Odelstad (eds.)
Numerical Approximation of Partial Differential Equations
  • PDF
  • English
  • Year: 2016
  • Author: Sören Bartels (auth.)