Andrew Adler. Extensions of non-standard models of number theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 289–290. - Haim Gaifman. A note on models and submodels of arithmetic. Conference in mathematical logic—London '70, edited by Wilfrid Hodges, Lecture notes in mathematics, no. 255, Springer-Verlag, Berlin, Heidelberg, and New York, 1972, pp. 128–144.

Journal of Symbolic Logic ◽

10.2307/2271919 ◽

1975 ◽

Vol 40 (2) ◽

pp. 244-245

Author(s):

C. Smorynski

Keyword(s):

New York ◽

Mathematical Logic ◽

Number Theory ◽

Lecture Notes ◽

Standard Models

Download Full-text

Sue Toledo. Tableau systems for first order number theory and certain higher order theories. Lecture notes in mathematics, vol. 447. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, iii + 339 pp.

Journal of Symbolic Logic ◽

10.2307/2273439 ◽

1980 ◽

Vol 45 (3) ◽

pp. 636-638

Author(s):

J. I. Zucker

Keyword(s):

New York ◽

Number Theory ◽

Higher Order ◽

Order Number ◽

First Order ◽

Tableau Systems ◽

Download Full-text

Dag Normann. Recursion on the countable functionals. Lecture notes in mathematics, vol. 811. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, VIII + 191 pp. - Dag Normann. The continuous functionals; computations, recursions and degrees. Annals of mathematical logic, vol. 21 (1981), pp. 1–26.

Journal of Symbolic Logic ◽

10.2307/2274205 ◽

1984 ◽

Vol 49 (2) ◽

pp. 668-670

Author(s):

Peter G. Hinman

Keyword(s):

New York ◽

Mathematical Logic ◽

Lecture Notes ◽

Continuous Functionals

Download Full-text

Martin Davis. Lecture notes on mathematical logic. The Institute of Mathematical Sciences, New York University, New York1959, 91 pp. + Appendix and errata.

Journal of Symbolic Logic ◽

10.1017/s0022481200093002 ◽

1970 ◽

Vol 35 (1) ◽

pp. 167-167

Author(s):

A. H. Lightstone

Keyword(s):

New York ◽

Mathematical Logic ◽

New York University ◽

Lecture Notes ◽

Mathematical Sciences ◽

Download Full-text

Robert Vaught. Descriptive set theory in Lω,1ω, Cambridge summer school in mathematical logic, held in Cambridge/England, August 1–21, 1971, edited by A.R.D. Mathias and H. Rogers, Lecture notes in mathematics, vol. 337, Springer-Verlag, Berlin, Heidelberg, and New York, 1973, pp. 574–598. - Robert Vaught. Invariant sets in topology and logic. Fundamenta mathematicae, vol. 82 no. 3 (1974), pp. 269–294.

Journal of Symbolic Logic ◽

10.2307/2273398 ◽

1982 ◽

Vol 47 (1) ◽

pp. 217-218

Author(s):

John P. Burgess

Keyword(s):

New York ◽

Mathematical Logic ◽

Summer School ◽

Invariant Sets ◽

Descriptive Set Theory ◽

Lecture Notes ◽

Descriptive Set

Download Full-text

Wilfried Buchholz. Notation systems for infinitary derivations. Archive for mathematical logic, vol. 30 no. 5–6 (1991), pp. 277–296. - Wilfried Buchholz. Explaining Gentzen's consistency proof within infinitary proof theory. Computational logic and proof theory, 5th Kurt Gödel colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture notes in computer science, vol. 1289, Springer, Berlin, Heidelberg, New York, etc., 1997, pp. 4–17. - Sergei Tupailo. Finitary reductions for local predicativity, I: recursively regular ordinals. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., etc., 2000, pp. 465–499.

Bulletin of Symbolic Logic ◽

10.2178/bsl/1182353905 ◽

2002 ◽

Vol 8 (3) ◽

pp. 437-439

Author(s):

Toshiyasu Arai

Keyword(s):

New York ◽

Mathematical Logic ◽

Czech Republic ◽

Proof Theory ◽

Symbolic Logic ◽

Computational Logic ◽

Consistency Proof ◽

Kurt Gödel ◽

Lecture Notes ◽

Infinitary Proof Theory

Download Full-text

MOSBRUGGER, V., The Tree Habit in Land Plants. (Lecture Notes in Earth Sciences; 28). 161 S., 30 Abb., 10 Tab. Springer Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, 1990. ISBN 3-540-52374-X; 0-387-52374-X. Preis brosch. DM 40,–

Feddes Repertorium ◽

10.1002/fedr.4921030724 ◽

1992 ◽

Vol 103 (7-8) ◽

pp. 620-620

Author(s):

G. Natho

Keyword(s):

Earth Sciences ◽

New York ◽

Hong Kong ◽

Land Plants ◽

Download Full-text

Coleman integration for even-degree models of hyperelliptic curves

LMS Journal of Computation and Mathematics ◽

10.1112/s1461157015000029 ◽

2015 ◽

Vol 18 (1) ◽

pp. 258-265 ◽

Author(s):

Jennifer S. Balakrishnan

Keyword(s):

Number Theory ◽

Computer Science ◽

Hyperelliptic Curves ◽

Open Book ◽

Line Integral ◽

Book Series ◽

Numerical Examples ◽

Lecture Notes ◽

Integration Algorithms ◽

Mathematical Sciences

The Coleman integral is a $p$-adic line integral that encapsulates various quantities of number theoretic interest. Building on the work of Harrison [J. Symbolic Comput. 47 (2012) no. 1, 89–101], we extend the Coleman integration algorithms in Balakrishnan et al. [Algorithmic number theory, Lecture Notes in Computer Science 6197 (Springer, 2010) 16–31] and Balakrishnan [ANTS-X: Proceedings of the Tenth Algorithmic Number Theory Symposium, Open Book Series 1 (Mathematical Sciences Publishers, 2013) 41–61] to even-degree models of hyperelliptic curves. We illustrate our methods with numerical examples computed in Sage.

Download Full-text

Noltemeier, H., (ed.), Graphtheoretic Concepts in Computer Science, Proceedings, Bad Honnef, 1980, Lecture Notes in Computer Science 100. Berlin-Heidelberg-New York, Springer-Verlag 1981. X, 403 S., DM 41,50. US $ 21.80. ISBN 3-540-10291-4

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19820620636 ◽

1982 ◽

Vol 62 (6) ◽

pp. 283-283

Author(s):

M. Hartwig

Keyword(s):

New York ◽

Computer Science ◽

Download Full-text

Orthogonal designs: Quadratic forms and hadamard matrices. by Anthony V. Geramita and Jennifer Seberry. Lecture Notes in Pure and Applied Mathematics Series, vol. 45. Marcel Dekker, Inc. New York, 1979. 480 pp. U.S. $35.00. ISBN 0-8247-6774-8

Canadian Journal of Statistics ◽

10.2307/3314680 ◽

1980 ◽

Vol 8 (1) ◽

pp. 141-143

Author(s):

B. Leo Raktoe

Keyword(s):

New York ◽

Quadratic Forms ◽

Applied Mathematics ◽

Hadamard Matrices ◽

Orthogonal Designs ◽

Download Full-text

Flynn, M. J./Harris, N. R./McCarthy, D.P. (Eds.), Micro-computer System Design. An Advance Course, Dublin 1981. Berlin-Heidelberg-New York, Springer-Verlag 1982. VII, 397 S., DM 38,–. US $ 17.70. ISBN 3-540-11172-7 (Lecture Notes in Computer Science 126)

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19830630229 ◽

1983 ◽

Vol 63 (2) ◽

pp. 142-142

Author(s):

W. Issel

Keyword(s):

New York ◽

Computer Science ◽

System Design ◽

Computer System ◽

Lecture Notes ◽

Computer System Design

Download Full-text