کتاب های Peter Ind

Injective Choice Functions
Michael Holz, Klaus-Peter Podewski, Karsten Steffens, 1987
A Transfinite Type Theory with Type Variables
Peter B Andrews, 1965
A Transfinite Type Theory with Type Variables
Peter Bruce Andrews, 1965
Abductive Reasoning and Learning
Peter A. Flach, Antonis C. Kakas (auth.), Dov M. Gabbay, Rudolf Kruse (eds.), 2000
Action Semantics
Peter D. Mosses, 2005
Action Semantics
Peter D. Mosses, 2005
Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder-Heister, 2015
An Introduction to Formal Logic
Peter Smith, 2003
An Introduction to Formal Logic
Peter Smith, 2003
An Introduction to Gödel's Theorems
Peter Smith, 2007
An Introduction to Gödel's Theorems
Peter Smith, 2013
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews (auth.), 2002
Arithmetic, Proof Theory, and Computational Complexity
Peter Clote, Jan Krajícek, 1993
Analysis and Metaphysics: An Introduction to Philosophy
Peter Frederick Strawson, 1992
Appearance and Reality: An Introduction to the Philosophy of Physics
Peter Kosso, 1997
Atome, Moleküle und optische Physik 1: Atomphysik und Grundlagen der Spektroskopie
Ingolf V. Hertel, Claus-Peter Schulz (auth.), 2008
Atome, Moleküle und optische Physik 1: Atomphysik und Grundlagen der Spektroskopie
Ingolf V. Hertel, Claus-Peter Schulz (auth.), 2008
Atome, Moleküle und optische Physik 1: Atomphysik und Grundlagen der Spektroskopie
Ingolf V. Hertel, Claus-Peter Schulz (auth.), 2008
Caught by Disorder: Bound States in Random Media
Peter Stollmann, 2012
Biostatistik: Eine Einführung für Biologen und Agrarwissenschaftler
Wolfgang Köhler, Gabriel Schachtel, Peter Voleske, 2012
Contributions to Probability and Statistics: Applications and Challenges
Peter Brown, Shuangzhe Liu, Dharmendra Sharma, 2006
An elementary investigation of the theory of numbers
Peter Barlow, 1811
Contributions to the History of Number Theory in the 20th Century
Peter Roquette, 2012