Dennis Darland's Library
Author Title Publication Year Publisher Format ISBN Location No. of Pages Read It  
Newman, James Roy What is Science? 1962 Washington Square Press Mass Market Paperback B000RAW8U8 B4 493 Yes Details
Newman, James Roy World of Mathematics (Tempus) Vol 1 1988 Microsoft Pr Paperback 1556151489 B4 2600 No Details
Newman, James Roy World of Mathematics (Tempus) Vol 2 1988 Microsoft Pr Paperback 1556151489 B4 2600 No Details
Newman, James Roy World of Mathematics (Tempus) Vol 3 1988 Microsoft Pr Paperback 1556151489 B4 2600 No Details
Newman, James Roy World of Mathematics (Tempus) Vol 4 1988 Microsoft Pr Paperback 1556151489 B4 2600 No Details
Nietzsche, Friedrich Wilhelm Beyond Good & Evil: Prelude to a Philosophy of the Future 1966 Vintage Paperback B000UFFZBY LL Yes Details
Nietzsche, Friedrich Wilhelm Daybreak (Texts in German Philosophy) 1982 Cambridge University Press Paperback 052128662X LL 250 Yes Details
Nietzsche, Friedrich Wilhelm Genealgy of Morals/Ecce Homo 1969 Vintage Paperback 0394704010 LL 367 Yes Details
Nietzsche, Friedrich Wilhelm The Birth of Tragedy and The Genealogy of Morals 1956 Doubleday Paperback B0006AUKAY LL 299 Yes Details
Nietzsche, Friedrich Wilhelm The Gay Science: With a Prelude in Rhymes and an Appendix of Songs 1974 Vintage Mass Market Paperback 0394719859 LL 416 Yes Details
Nietzsche, Friedrich Wilhelm The Philosophy of Nietzsche: Thus Spake Zarathustra, Beyond Good and Evil, The Genealogy of Morals, Ecce Homo, The Birth of Tragedy - Containining Nietzsche's Five Most Famous Works .... Complete & Unabridged 1954 The Modern library Hardcover B000GSUBZK LL No Details
Nietzsche, Friedrich Wilhelm The Will to Power 1968 Vintage Paperback 0394704371 LL 608 Yes Details
Nietzsche, Friedrich Wilhelm Thus Spoke Zarathustra 1966 The Viking Press Paperback 0670001961 LL No Details
Niles, Douglas Dungeoneer's Survival Guide (Advanced Dungeons And Dragons) 1986 Tsr Inc Hardcover 9780880382724 U1 210 No Details
Nipkow, Tobias A Compact Introduction to Structured Proofs in Isar/HOL 2002 (Internet (in notebook)) Notebook B7 No Details
Nipkow, Tobias; Paulson, Lawrence C; Wenzel, Markus A Proof Assistant for Higher-Order Logic 2002 (Internet (in notebook)) Notebook B7 No Details
Norris, Christopher Deconstruction (New Accents) 1982 Methuen young books Paperback 0416320708 B2 200 Yes Details
Norris, Christopher Deconstructive Turn (UP) 1983 Methuen young books Paperback 0416361404 B2 170 Yes Details
Norris, Christopher The Truth About Postmodernism 1993 Blackwell Publishers Paperback 0631187189 B2 344 No Details
Notes, Inc. Cliffs Cliffsnotes Lost Horizon (Cliffs Notes) 1988 Cliffs Notes Paperback 9780822007715 U2 60 No Details
Obama, Barack The Audacity of Hope: Thoughts on Reclaiming the American Dream 2007 Three Rivers Press Paperback 9780307237705 B5 384 Yes Details
Obama, Barack Dreams from My Father: A Story of Race and Inheritance 2004 Three Rivers Press Paperback 1400082773 B2 480 Yes Details
Obi Oguejiofor, J. Has Bertrand Russell Solved the Problem of Perception?: A Critical Exposition of Bertrand Russell's Analysis of Sense Perception and Its Relation Wi (Europaische ... Reihe XX, Philosophie, Bd. 419.) 1994 Peter Lang Pub Inc Paperback 363147184X LR 141 No Details
O'Brien, Richard J.; Twombly, Neil J. A Basic Course in Latin 1962 Loyola University Press Hardcover U1 569 No Details
Ogden, Charles K.; Richards, I. A The Meaning of Meaning: A Study of the Influence of Language Upon Thought and of the Science of Symbolism 1989 Harcourt Paperback 0156584468 LL 396 No Details
Ohmer, Merlin M.; Aucoin, Clayton V.; Cortez, Marion J. Elementary Contemporary Mathematics 1964 Blaisdell Publishing Hardcover U1 373 No Details
Omnes, Roland The Interpretation of Quantum Mechanics 1994 Princeton University Press Paperback 0691036691 MR 566 No Details
O'Neill, Barrett Elementary Differential Geometry 1966 Academic Press Hardcover B000NZSWMA B4 411 No Details
Ornstein, Robert Evan The Psychology Of Consciousness 1977 Harcourt Brace Jovanovich 9780155730823 U1 282 No Details
Orwell, George 1984 1983 Harcourt Hardcover 0151660387 C1 314 Yes Details
Ostrander, Norma Ivanhoe (Cliffs Notes) 1962 Cliffs Notes Paperback 9780822006633 U1 72 No Details
Oxford A Dictionary Of Computing (Oxford Paperback Reference) 2008 Oxford University Press, USA Hardcover 9780199234011 1 608 No Details
Oxford A Dictionary Of Physics (Oxford Dictionary Of Physics) 2009 Oxford University Press, USA Hardcover 9780199560011 1 608 No Details
P Crease, Robert; Mann, Charles C The second creation: Makers of the revolution in twentieth-century physics 1986 MacMillan Paperback 0025214403 B1 480 Yes Details
Pagan, Frank G. Formal Specification of Programming Languages: A Panoramic Primer (Prentice-Hall Software Series) 1981 Prentice Hall Hardcover 0133290522 B3 256 No Details
Pagels, Elaine H The gnostic gospels 1981 Vintage 0394740433 C1 214 No Details
Pagels, Heinz R. The Dreams of Reason: The Computer and the Rise of the Sciences of Complexity 1988 Simon & Schuster Hardcover 0671627082 B2 352 No Details
Palmer, Donald D. Structuralism and Poststructuralism for Beginners (Writers and Readers Documentary Comic Book,) 1997 Writers & Readers Publishing Paperback 0863161936 B2 154 Yes Details
Pareles, Jon; Romanowski, Patricia The Rolling Stone Encyclopedia of Rock and Roll 1983 Rolling Stone Press Paperback 0671440713 B1 615 No Details
Parker, Tim; Husain, Kamran Linux Unleashed 1995 Sams Paperback 0672307057 B3 1400 No Details
Pascal, Blaise Pensees 1948 E. P. DUTTON Paperback 0140446451 LL 368 No Details
Passmore, John A Hundred Years of Philosophy (Pelican) 1978 Penguin (Non-Classics) Paperback 0140209271 LL 640 No Details
Pauling, Linus General Chemistry 1988 Dover Publications Paperback 0486656225 B4 992 No Details
Paulson, Lawrence C The Isabelle Reference Manual 1997 (Internet (in notebook)) Notebook B7 No Details
Paulson, Lawrence C; Nipkow, Tobias Isabelle Turorial and User's Manual 1990 (Internet (in notebook)) Notebook B2 No Details
Paulson, Lawrence C. A Formulation of the Simple Theory of Types (for Isabelle) 1989 (Internet (in notebook)) Notebook B4 No Details
Paulson, Lawrence C. Introduction to Isabelle 2002 (Internet (in notebook)) Notebook Yes Details
Paulson, Lawrence C. Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) 1994 Springer Paperback 3540582444 B3 321 Yes Details
Paulson, Lawrence C. ML for the Working Programmer 1996 Cambridge University Press Paperback 052156543X B3 496 Yes Details
Paulson, Lawrence C. The Foundation of a Generic Theorem Prover 1987 (Internet (in notebook)) Notebook B4 No Details

12/29/2010 12:38:58 AM