Home Advanced Search

Advanced Search - Page 1

A lattice of chapters of mathematics (interpretations between theorems [theories])
  • DJVU
  • English
  • Year: 1990
  • Author: Jan Mycielski, Pavel Pudlak, Alan S. Stern
A Lattice of Chapters of Mathematics (Interpretations Between Theorems)
  • PDF
  • English
  • Year: 1990
  • Author: Jan Mycielski, Pavel Pudlak, Alan S. Stern
Metamathematics of First-Order Arithmetic
  • PDF
  • English
  • Year: 1998
  • Author: Petr Hajek, Pavel Pudlak
Metamathematics of first-order arithmetic
  • DJVU
  • English
  • Year: 1998
  • Author: Petr Hajek, Pavel Pudlak
Our Worlds: The Magnetism and Thrill of Planetary Exploration
  • PDF
  • English
  • Year: 1999
  • Author: S. Alan Stern
Logic Colloquium ’98: Lecture Notes in Logic 13
  • PDF
  • English
  • Year: 2000
  • Author: Sam Buss, Petr Hajek, Pavel Pudlak
Our universe : the thrill of extragalactic exploration as told by leading experts
  • PDF
  • English
  • Year: 2001
  • Author: Alan Stern
Our Universe: The Thrill of Extragalactic Exploration As Told by Leading Experts
  • PDF
  • English
  • Year: 2001
  • Author: Alan Stern
Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht
  • DJVU
  • English
  • Year: 1997
  • Author: Robert Vaught (auth.), Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (eds.)
The Sound & Style of American English: Drill Manual
  • PDF
  • English
  • Author: Stern David Alan.
search