Latest research eBooks | Page 1

0000-00-00 00:00:00

Reverse Mathematics 2001 (Lecture Notes In Logic)

  • by Stephen G. Simpson

  • 277
  • 7992
0000-00-00 00:00:00

Calculations of Analytical Chemistry

  • by Stephen G. Simpson

  • 716
  • 8377
0000-00-00 00:00:00

The Uncertain Reasoner's Companion: A Mathematical Perspective

  • by J. B. Paris

  • 471
  • 5788
0000-00-00 00:00:00

unfassbar!: Existiert mehr als wir sehen?

  • by John T. Baldwin

  • 314
  • 3211
0000-00-00 00:00:00

Fundamentals of Stability Theory

  • by John T. Baldwin

  • 390
  • 9765
0000-00-00 00:00:00

Categoricity

  • by John T. Baldwin

  • 786
  • 9261
0000-00-00 00:00:00

Mehkarim Be Toldot Yisrael Bi Yeme Ha Bayit Ha Sheni

  • by Menahem Stern

  • 508
  • 1682
0000-00-00 00:00:00

Sun and the Clouds: Bible Tales and Legends

  • by Menahem Stern

  • 472
  • 3634
2018-04-10 08:44:02

Historical Encyclopedia of Natural and Mathematical Sciences

  • by Ari Ben-Menahem

  • 401
  • 5876
0000-00-00 00:00:00

Shadow Chase: Mystery, Suspense and Romance at a Hill Country Dude Ranch

  • by Stephanie P. Logue

  • 387
  • 3270
0000-00-00 00:00:00

Constructibility

  • by K. J. Devlin

  • 516
  • 3012
0000-00-00 00:00:00

Aspects of Constructibility

  • by K. J. Devlin

  • 480
  • 9861
0000-00-00 00:00:00

The Axiom of Constructibility: A Guide for the Mathematician

  • by K. J. Devlin

  • 880
  • 7927
2018-04-10 08:44:02

A Radical Approach To Real Analysis

  • by David Bressoud

  • 308
  • 2694
0000-00-00 00:00:00

A Course in Computational Number Theory

  • by David Bressoud

  • 770
  • 4062
0000-00-00 00:00:00

El Golf de Los Tiempos

  • by C. Mazzucco

  • 191
  • 5551
2018-04-10 08:44:02

Classification Theory: And the Number of Non-Isomorphic Models

  • by Saharon Shelah

  • 333
  • 3700
0000-00-00 00:00:00

Proper Forcing

  • by Saharon Shelah

  • 156
  • 3429
0000-00-00 00:00:00

Proper & Improper Forcing

  • by Saharon Shelah

  • 835
  • 8110
0000-00-00 00:00:00

Around Classification Theory Of Models

  • by Saharon Shelah

  • 675
  • 3426
0000-00-00 00:00:00

Cardinal Arithmetic

  • by Saharon Shelah

  • 980
  • 1468
0000-00-00 00:00:00

Norms On Possibilities I: Forcing With Trees And Creatures

  • by Saharon Shelah

  • 706
  • 3800
2018-04-10 08:44:02

Piton: A Mechanically Verified Assembly-Level Language

  • by J. Strother Moore

  • 735
  • 3175
0000-00-00 00:00:00

Introduction to Abstract Algebra

  • by J. Strother Moore

  • 58
  • 1211
2018-04-10 08:44:02

Computer-Aided Reasoning: An Approach

  • by J. Strother Moore

  • 645
  • 5734
2018-04-10 08:44:02

A Computational Logic Handbook

  • by J. Strother Moore

  • 423
  • 1236
2018-04-10 08:44:02

Computer-Aided Reasoning: Acl2 Case Studies

  • by J. Strother Moore

  • 560
  • 3021
0000-00-00 00:00:00

A Computational Logic

  • by Robert S. Boyer

  • 917
  • 8666
0000-00-00 00:00:00

Computational Logic Handbook: Perspectives in Computing, Vol 23

  • by Robert S. Boyer

  • 572
  • 6853
0000-00-00 00:00:00

Importance and Legacy

  • by Matthias Schirn

  • 273
  • 7619
0000-00-00 00:00:00

The Philosophy of Mathematics Today

  • by Matthias Schirn

  • 241
  • 6048
0000-00-00 00:00:00

Logic Year 1979-80, the University of Connecticut, USA

  • by M. Lerman

  • 831
  • 2870
0000-00-00 00:00:00

Logic Year 1979-80: The University of Connecticut, USA

  • by M. Lerman

  • 603
  • 6652
0000-00-00 00:00:00

Degrees of Unsolvability: Local and Global Theory

  • by M. Lerman

  • 98
  • 2768
0000-00-00 00:00:00

Logic, Methodology and Philosophy of Science

  • by P. Hajek

  • 457
  • 1579
0000-00-00 00:00:00

Light and Matter Id / Licht Und Materie Id

  • by H. Bilz

  • 32
  • 5148
0000-00-00 00:00:00

Phonon Dispersion Relations in Insulators

  • by H. Bilz

  • 279
  • 6756
0000-00-00 00:00:00

Dynamical Properties of IV VI Compounds

  • by H. Bilz

  • 89
  • 7011
0000-00-00 00:00:00

Phonon Dispersion Relations In Insulators

  • by H. Bilz

  • 800
  • 6475
0000-00-00 00:00:00

Dynamical Properties Of Iv Vi Compounds

  • by H. Bilz

  • 401
  • 7866
0000-00-00 00:00:00

Statics and Dynamics of Nonlinear Systems

  • by H. Bilz

  • 900
  • 2219
0000-00-00 00:00:00

Omega Bibliography of Math Logic Volume No

  • by W. Rautenberg

  • 755
  • 5019
0000-00-00 00:00:00

Bibliography of Mathematical Logic: Classical Logic

  • by W. Rautenberg

  • 887
  • 8528
0000-00-00 00:00:00

Computability in Analysis and Physics

  • by J. Ian Richards

  • 779
  • 8947
  Pages:  1   2