Home Advanced Search

Advanced Search - Page 1

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
  • PDF
  • English
  • Year: 2012
  • Author: Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm (eds.)
Logicism, Intuitionism, and Formalism: What Has Become of Them?
  • PDF
  • English
  • Year: 2009
  • Author: Sten Lindström, Erik Palmgren (auth.), Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen (eds.)
Logicism, Intuitionism, and Formalism: What Has Become of Them?
  • PDF
  • English
  • Year: 2009
  • Author: Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen (eds.)
Logicism, intuitionism, and formalism : what has become of them?
  • PDF
  • English
  • Year: 2009
  • Author: Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen
Logicism, Intuitionism, and Formalism: What has Become of Them?
  • PDF
  • English
  • Year: 2009
  • Author: Dalen, Dirk;Hendricks, Vincent F.;Kuipers, Theo A. F.;Lindström, Sten;Palmgren, Erik;Segerberg, Krister;Seidenfeld, Teddy;Stoltenberg-Hansen, Viggo;Suppes, Patrick;Symons, John;WoleńSki, Jan
Logic, Action and Cognition: Essays in Philosophical Logic
  • PDF
  • English
  • Year: 1997
  • Author: Eva Ejerhed, Sten Lindström (eds.)
Handbook of Philosophical Logic
  • PDF
  • English
  • Year: 2001
  • Author: Göran Sundholm (auth.), D. M. Gabbay, F. Guenthner (eds.)
Cholinergic Neurotransmission: Functional and Clinical Aspects
  • PDF
  • Year: 1990
  • Author: Sten-Magnus Aquilonius and Per-Göran Gillberg (Eds.)
Cognitive Behaviour Therapy for Dental Phobia and Anxiety
  • PDF
  • English
  • Year: 2013
  • Author: Lars-Göran Öst, Erik Skaret (eds.)
Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: René Ahn (auth.), Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
search