1  20
Next
 Oosten, Jaap van.
 1st ed.  Oxford : Elsevier, 2008.
 Description
 Book — xvi, 310 p. ; 24 cm.
 Summary

 Cellular Organization and Synaptic Circuitry: Cellular organization of the vertebrate retina, H. Kolb, R. Nelson, P. Ahnelt, N. Cuenca
 Comparative anatomy of major retinal pathways in the eyes of nocturnal and diurnal mammals, K. Linberg, N. Cuenca, P. Ahnelt, S. Fisher, H. Kolb
 Synaptic organisation in the fly's optic lamina  few cells, many synapses and divergent microcircuits, I.A. Meinertzhagen, K.E. Sorra
 Complexities of retinal circuitry revealed by neurotransmitter receptor localization, C.L. Zucker, B. Ehinger
 Synaptic inputs to dopaminergic neurons in mammalian retinas, D.W. Marshak
 Molecular diversity of gap junctions between horizontal cells, U. JanssenBienhold, K. Schultz, W. Hoppenstedt, R. Weiler
 Real time imaging of the production and movement of nitric oxide in the retina, W.E. Eldred. Functional Organization: Integration and segregation of visual signals by bipolar cells in the tiger salamander retina, S.M. Wu, F. Gao, B.R. Maple
 Transmission at the photoreceptor synapse, P. Witkovsky, W. Thoreson, D. Tranchina
 Organization of on and off pathways in the zebrafish retina  neurotransmitter localization, electrophysiological responses of bipolar cells, and patterns of axon terminal stratification, V.P. Connaughton
 Retinal information processing and ambient illumination, R.L. Chappell
 Plasticity of AII amacrine cell circuitry in the mammalian retina, S.A. Bloomfield
 Neuromodulation of voltagedependent K+ channels in bipolar cells  immunocytochemical and electrophysiological studies, S. Yazulla, K.M. Studholme, S.F. Fan, C. MoraFerrer
 Synaptic mechanisms shaping the lightresponse in retinal ganglion cells, E.D. Cohen
 Parallel processing in the mammalian retina  lateral and vertical interactions across stacked representations, F. Werblin, B. Roska, D. Balya. Neurotransmission and Neuromodulation: Pre and postsynaptic mechanisms of spontaneous, excitatory postsynaptic currents in the salamander retina, R.F. Miller, J. Gottesman, D. Henderson, M. Sikora, H. Kolb
 Physiological responses associated with kainate receptor immunoreactivity in dissociated zebrafish retinal neurons  a voltage probe study, R. Nelson, A.T. Janis, T.N. Behar, V.P. Connaughton
 GABA transporter function in the horizontal cells of the skate, R.P. Malchow, K.A. Andersen
 Physiological and pharmacological characterization of glutamate and GABA receptors on carp retinal neurons, X.L. Yang, P. Li, T. Lu, Y. Shen, M.H. Han
 The GABAc receptors of retinal neurons, H. Qian, H. Ripps
 Retinoic acid  a neuromodulator in the retina, R. Weiler, M. Pottek, K. Schultz, U. JanssenBienhold
 Properties of turtle retinal ganglion cell GABA receptors, E.M. Lasater, Y. Liu. Photoreceptors, Visual Adaptation and the ERG: The rhodopsin cycle  a twist in the tale, H. Ripps
 Insights into the rod rhodopsin regeneration process using the excised mouse eye, S.E. Ostroy. (Part contents).
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.7 .O66 2008  Available 
3. Proof theory [1987]
 Takeuti, Gaisi, 19262017
 2nd ed.  Amsterdam ; New York : NorthHolland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
 Description
 Book — x, 490 p. ; 23 cm.
 Online
Science Library (Li and Ma)
Science Library (Li and Ma)  Status 

Stacks  
QA9.54 .T34 1987  Unknown 
 Logic Colloquium (1978 : Mons, Belgium)
 Amsterdam : NorthHolland, 1979.
 Description
 Book — 1 online resource (434 pages)
 Summary

 Continuity in intuitionistic set theories / Michael Beeson
 Stabel algebraic theories / Gregory Cherlin
 Un résultat de non contradiction relative au sujet de la conjecture de SOLOVAY / René David
 Remarks on constructive mathematical analysis / O. Demuth, A. Kučera
 Diophantine problem for polynomial rings of positive characteristic / J. Denef
 Algorithms and bounds for poloynomial rings
 Constructive theories of function and classes / Solomon Feferman
 On partially conservative extensions of arithmetic / Petr Hájek
 Weakly separated subspaces and networks / A. Hajnal, I. Juhász
 Equivalence relations, projective and beyond / L. Harrington, R. Sami
 Projections of lawless sequences II / G.F. van der Hoeven, A.S. Troelstra
 Linear orders in (w)w under eventual dominance / Richard Laver
 Hypermeasurable cardinals / William Mitchell
 On the number of expansions of the models of ZFCset theory to models of KMtheory of classes
 A fine structure generated by reflection formulas over primitive recursive arithmetic / Ulf. R. Schmerl
 Logic and the axiom of choice / H. Schwichtenberg
 On successors of singular cardinals / Saharon Shelah
 Paul Bernays / E. Speaker
 Abstract logic and set theory, I, definability / Jouko Väänänen
 Lattice products / Volker Weispfenning
 Some ofields of subsets of reals / Bogdan Weglorz.
 LatinAmerican Symposium on Mathematical Logic (3rd : 1976 : State University of Campinas)
 Amsterdam ; New York : NorthHolland Pub. Co. ; New York : distributors for the U.S.A. and Canada, Elsevier/NorthHolland, 1977.
 Description
 Book — xviii, 307 p. ; 23 cm.
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.4 .L37 1976  Available 
6. Handbook of mathematical logic [1976]
 Amsterdam ; New York : NorthHolland Pub. Co., 1977.
 Description
 Book — xi, 1165 p. : ill. ; 23 cm.
 Summary

 Model Theory (Contributors: J. Barwise, P.C. Eklof, H.J. Keisler, A. Kock, A. Macintyre, M. Makkai, M. Morley, G.E. Reyes, K.D. Stroyan). Set Theory (Contributors: J.P. Burgess, K.J. Devlin, T.J. Jech, I. Juhasz, K. Kunen, M.E. Rudin, J.R. Schoenfield). Recursion Theory (Contributors: P. Aczel, M. Davis, H.B. Enderton, A. Kechris, D.A. Martin, Y.N. Moschovakis, M.O. Rabin, R.A. Shore, S.G. Simpson). Proof Theory and Constructive Mathematics (Contributors: H. Barendregt, S. Feferman, M.P. Fourman, L. Harrington, J. Paris, H. Schwichtenberg, C. Smorynski, R. Statman, A.S. Troelstra). Indices.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA9 .H32  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA9 .H32  Unknown 
 Odifreddi, Piergiorgio, 1950
 Amsterdam ; New York : NorthHolland ; New York, N.Y., USA : Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 19891999.
 Description
 Book — 2 v. : ill. ; 23 cm.
 Summary

 Preface. Introduction. Theories of Recursive functions. Hierarchies of recursive functions. Recursively enumerable sets. Recursively enumerable degrees. Limit sets. Arithmetical sets. Arithmetical degrees. Enumeration degrees. Bibliography. Notation index. Subject index.
 (source: Nielsen Book Data)
 Recursiveness and Computability. Induction. Systems of Equations. Arithmetical Formal Systems. Turing Machines. Flowcharts. Functions as Rules. Arithmetization. Church's Thesis. Basic Recursion Theory. Partial Recursive Functions. Diagonalization. Partial Recursive Functionals. Effective Operations. Indices and Enumerations. Retraceable and Regressive Sets. Post's Problem and Strong Reducibilities. Post's Problem. Simple Sets and ManyOne Degrees. Hypersimple Sets and TruthTable Degrees. Hyperhypersimple Sets and QDegrees. A Solution to Post's Problem. Creative Sets and Completeness. Recursive Isomorphism Types. Variations of TruthTable Reducibility. The World of Complete Sets. Formal Systems and R.E. Sets. Hierarchies and Weak Reducibilities. The Arithmetical Hierarchy. The Analytical Hierarchy. The SetTheoretical Hierarchy. The Constructible Hierarchy. Turing Degrees. The Language of Degree Theory. The Finite Extension Method. Baire Category. The Coinfinite Extension Method. The Tree Method. Initial Segments. Global Properties. Degree Theory with Jump. ManyOne and Other Degrees. Distributivity. Countable Initial Segments. Uncountable Initial Segments. Global Properties. Comparison of Degree Theories. Structure Inside Degrees. Bibliography. Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Volume II of "Classical Recursion Theory" describes the universe from a local (bottomup or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from small time and space bounds to the elementary functions, with a particular attention to polynomial time and space computability. It also deals with primitive recursive functions and larger classes, which are of interest to the proof theorist. The second half of the book starts with the classical theory of recursively enumerable sets and degrees, which constitutes the core of Recursion or Computability Theory. Unlike other texts, usually confined to the Turing degrees, the book covers a variety of other strong reducibilities, studying both their individual structures and their mutual relationships. The last chapters extend the theory to limit sets and arithmetical sets. The volume ends with the first textbook treatment of the enumeration degrees, which admit a number of applications from algebra to the Lambda Calculus. The book is a valuable source of information for anyone interested in Complexity and Computability Theory. The student will appreciate the detailed but informal account of a wide variety of basic topics, while the specialist will find a wealth of material sketched in exercises and asides. A massive bibliography of more than a thousand titles completes the treatment on the historical side.
(source: Nielsen Book Data)
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks

Request (opens in new tab) 
QA9.6 .O35 1989 V.1  Available 
QA9.6 .O35 1989 V.2  Available 
8. Constructivism in mathematics : an introduction [1988 ]
 Troelstra, A. S. (Anne Sjerp)
 Amsterdam ; New York : NorthHolland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
 Description
 Book — v. ; 23 cm.
 Summary

 1. Introduction.
 2. Logic.
 3. Arithmetic.
 4. NonClassical Axioms.
 5. Real Numbers.
 6. Some Elementary Analysis. Bibliography. Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks


QA9.56 .T74 1988 V.1  Unknown 
QA9.56 .T74 1988 V.2  Unknown 
SAL3 (offcampus storage)  Status 

Stacks

Request (opens in new tab) 
QA9.56 .T74 1988 V.1  Available 
QA9.56 .T74 1988 V.2  Available 
9. Manyvalued logics [1977]
 Rosser, J. Barkley (John Barkley), 19071989
 Westport, Conn. : Greenwood Press, 1977, c1952.
 Description
 Book — 124 p. ; 24 cm.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA9.45 .R67 1977  Available 
10. Constructible sets with applications [1969]
 Mostowski, Andrzej.
 Amsterdam, NorthHolland Pub. Co.; Warszawa, PWNPolish Scientific Publishers, 1969.
 Description
 Book — 1 online resource (ix, 269 pages)
11. Constructive order types [1969]
 Crossley, John N.
 Amsterdam, London, NorthHolland Pub. Co., 1969.
 Description
 Book — 1 online resource (225 pages)
 Eléments de logique mathématique, theorie des modéles. English
 Kreisel, Georg.
 Amsterdam, North Holland Pub. Co., 1967.
 Description
 Book — 1 online resource (xi, 222 pages)
 Summary

 Propositional calculus
 Predicate calculus
 Predicate calculus with equality
 Elimination of Quantifiers
 Predicate calculus with several types of objects : the hierarchy of finite types
 Definability
 Principal models : models of infinite formulas.
13. Abstract set theory [1966]
 Fraenkel, Abraham Adolf, 18911965.
 3d rev. ed.  Amsterdam, NorthHolland Publishing co., 1966.
 Description
 Book — 297 p.
 Online
SAL3 (offcampus storage)
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA248 .F74 1966B  Available 
14. Aspects of inductive logic [1966]
 Hintikka, Jaakko, 19292015
 Amsterdam, North Holland Pub. Co., 1966.
 Description
 Book — vi, 320 p. 23 cm.
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
BC91 .H5  Unknown 
BC91 .H5  Unknown 
BC91 .H5  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
BC91 .H5  Available 
15. A deductive theory of space and time [1966]
 Basri, Saul A.
 Amsterdam, NorthHolland Pub. Co., 1966.
 Description
 Book — 1 online resource (xi, 165 pages)
 Summary

 What is a deductive theory?
 Objective universe
 Particles
 Events
 Signals
 Clocks and time intervals
 Length measurement and space geodesics
 Geodesic geometry
 Space geometry
 Spacetime geometry.
16. Nonstandard analysis [1966]
 Robinson, Abraham, 19181974.
 Amsterdam : NorthHolland Pub. Co., 1966.
 Description
 Book — 1 online resource (xi, 293 pages) : front
 Summary

 General introduction
 Tools from logic
 Differential and integral calculus
 General topology
 Functions of a complex variable
 Linear spaces
 Topological groups and lie groups
 Selected topics
 Concerning the history of the calculus.
 Logic Colloquium (8th : 1963 : Oxford, England)
 Amsterdam, NorthHolland Pub. Co., 1965.
 Description
 Book — 320 p. 23 cm.
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA248.5 .C7  Unknown 
 Vvedenie v teorii͡u konechnykh avtomatov. English
 Kobrinskiĭ, Natan Efimovich.
 Amsterdam, NorthHolland Pub. Co., 1965.
 Description
 Book — 1 online resource (x, 337 pages) illustrations
 Summary

 Elements of logic
 Operators logical nets
 Operators of physical elements
 Analysis of automata
 Methods of specifying operators
 Practical methods of synthesizing automata
 Asymptotic estimation for the complexity of logical nets.
19. The theory of models [1965]
 International Symposium on the Theory of Models (1963 : University of California, Berkeley)
 Amsterdam, NorthHolland Pub. Co., 1965.
 Description
 Book — xv, 494 p. 23 cm.
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
QA11 .I5 1963  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request (opens in new tab) 
QA11 .I5 1963  Available 
20. The theory of models proceedings [1965]
 International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
 Amsterdam, NorthHolland Pub. Co., 1965.
 Description
 Book — 1 online resource (xv, 494 pages) portrait
Articles+
Journal articles, ebooks, & other eresources
Guides
Course and topicbased guides to collections, tools, and services.