The Journal of symbolic logic /managing editor, Alfons Borgers ... [et al.], Inexhaustibility



The Journal of symbolic logic. Vol. 17, no. 3, Sept. 1952

Type of Work:
Non-dramatic literary work
Array
RE0000047739 / 1980-01-07
B00000377815 / 1952-09-26
Title:
The Journal of symbolic logic. Vol. 17, no. 3, Sept. 1952.
Variant title:
The Journal of symbolic logic
Copyright Claimant:
Association for Symbolic Logic, Inc. (PCW)
Names:
Association for Symbolic Logic, Inc.

Copyrights records by Association for Symbolic Logic, Inc.

The Journal of symbolic logic. Vol. 17, no. 2, June 1952

Type of Work:
Non-dramatic literary work
Array
RE0000047740 / 1980-01-07
B00000368095 / 1952-07-16
Title:
The Journal of symbolic logic. Vol. 17, no. 2, June 1952.
Variant title:
The Journal of symbolic logic
Copyright Claimant:
Association for Symbolic Logic, Inc. (PCW)
Names:
Association for Symbolic Logic, Inc.

The Journal of symbolic logic. Vol. 17, no. 1, Mar. 1952

Type of Work:
Non-dramatic literary work
Array
RE0000047741 / 1980-01-07
B00000365005 / 1952-03-09
Title:
The Journal of symbolic logic. Vol. 17, no. 1, Mar. 1952.
Variant title:
The Journal of symbolic logic
Copyright Claimant:
Association for Symbolic Logic, Inc. (PCW)
Names:
Association for Symbolic Logic, Inc.

The Journal of symbolic logic. Vol. 16, no. 4, Dec. 1951

Type of Work:
Non-dramatic literary work
Array
RE0000047742 / 1980-01-07
B00000334744 / 1952-01-02
Title:
The Journal of symbolic logic. Vol. 16, no. 4, Dec. 1951.
Variant title:
The Journal of symbolic logic
Copyright Claimant:
Association for Symbolic Logic, Inc. (PCW)
Names:
Association for Symbolic Logic, Inc.

The Journal of symbolic logic. Vol. 16, no. 1, Mar. 1951

Type of Work:
Non-dramatic literary work
Array
RE0000018101 / 1979-03-12
B00000297588 / 1951-04-18
Title:
The Journal of symbolic logic. Vol. 16, no. 1, Mar. 1951.
Copyright Note:
C.O. correspondence.
Variant title:
The Journal of symbolic logic.
Copyright Claimant:
Association for Symbolic Logic, Inc. (PCW)
Names:
Association for Symbolic Logic, Inc.

The Journal of symbolic logic. Vol. 16, no. 2, June 1951

Type of Work:
Non-dramatic literary work
Array
RE0000018102 / 1979-03-12
B00000308245 / 1951-06-27
Title:
The Journal of symbolic logic. Vol. 16, no. 2, June 1951.
Variant title:
The Journal of symbolic logic.
Copyright Claimant:
Association for Symbolic Logic, Inc. (PCW)
Names:
Association for Symbolic Logic, Inc.

The Journal of symbolic logic. Vol. 16, no. 3, Sept. 1951

Type of Work:
Non-dramatic literary work
Array
RE0000018103 / 1979-03-12
B00000321808 / 1951-10-04
Title:
The Journal of symbolic logic. Vol. 16, no. 3, Sept. 1951.
Variant title:
The Journal of symbolic logic.
Copyright Claimant:
Association for Symbolic Logic, Inc. (PCW)
Names:
Association for Symbolic Logic, Inc.

The Journal of symbolic logic. Vol. 15, no. 4, Dec. 1950

Type of Work:
Non-dramatic literary work
Array
RE0000018104 / 1979-03-12
B00000281146 / 1951-01-10
Title:
The Journal of symbolic logic. Vol. 15, no. 4, Dec. 1950.
Variant title:
The Journal of symbolic logic.
Copyright Claimant:
Association for Symbolic Logic, Inc. (PCW)
Names:
Association for Symbolic Logic, Inc.

A Bibliography of symbolic logic (1666-1935)

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001460017 / 1984-11-26
Date of Publication:
February 23, 1984
Date of Creation:
1983
Title:
A Bibliography of symbolic logic (1666-1935) / by Alonzo Church.
Edition:
Rev. and expanded ed.
Basis of Claim:
New Matter: "addendum and indexes p. 115-156."
Previous Registration:
Prev. reg. 1939 & 1937 as The Journal of symbolic logic, v. 3, no. 4 & v. 1, no. 4.
Imprint:
Urbana, IL : The Association, 1984.
Description:
156 p.
Other Title:
The Journal of symbolic logic
Copyright Claimant:
Association for Symbolic Logic
Copyright Notice:
notice: American Mathematical Society
Names:
Alonzo Church 1903-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Copyrights records by Association for Symbolic Logic

American Mathematical Society (2323 documents)
example document: The emergence of the American mathematical research community, 1876-1900

Copyrights records by American Mathematical Society

Logic colloquium '98

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0005143547 / 2000-02-14
Date of Publication:
December 13, 1999
Date of Creation:
1999
Title:
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 Hajek, Pavel Pudlak.
Series:
Lecture notes in logic ; 13
Imprint:
Natick, MA : Association for Symbolic Logic, c2000.
Other Title:
Lecture notes in logic ; 13
Copyright Claimant:
Association for Symbolic Logic
Names:
Samuel R. Buss 1957-
Petr Hajek 1940-
Pavel Pudlak 1952-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Inexhaustibility

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006101726 / 2004-12-15
Date of Publication:
September 2, 2004
Date of Creation:
2004
Title:
Inexhaustibility : a non-exhaustive treatment / by Torkel Franzen.
Series:
Lecture notes in logic ; 16
Imprint:
Urbana, IL : Assoc. for Symbolic Logic, c2004.
Description:
251 p.
Number of similar titles:
1
Similar Title:
Inexhaustibility and human being
Other Title:
Lecture notes in logic ; 16
Copyright Claimant:
Association for Symbolic Logic
Names:
Torkel Franzen 1950-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Logic colloquium '99

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006101727 / 2004-12-15
Date of Publication:
July 8, 2004
Date of Creation:
2004
Title:
Logic colloquium '99 : proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999 / edited by Jan VanEijck, Vincent VanOostrom, Albert Visser.
Series:
Lecture notes in logic ; 17
Imprint:
Urbana, IL : Assoc. for Symbolic Logic, c2004.
Description:
208 p.
Other Title:
Lecture notes in logic ; 17
Copyright Claimant:
Association for Symbolic Logic
Names:
Jan VanEijck
Vincent VanOostrom
Albert Visser
Jan Va Eijck
Vincent Va Oosstrom
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Logic colloquium 2000

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006240985 / 2005-10-27
Date of Publication:
April 25, 2005
Date of Creation:
2004
Title:
Logic colloquium 2000 : proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000.
Copyright Note:
Cataloged from appl. only.
Series:
Lecture notes in logic ; 19
Other Title:
annual European summer meeting of the Association for Symbolic Logic
Copyright Claimant:
Association for Symbolic Logic
Authorship on Application:
coeditors: Rene Cori, 1949-, Alexander Razborov, 1953-, Stevo Todorcevic, 1955-, & Carol Wood, 1945-.
Names:
Rene Cori 1949-
Alexander Razborov 1953-
Stevo Todorcevic 1955-
Carol Wood 1945-
Stevo Todorchevich
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Reverse mathematics 2001

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006240986 / 2005-10-27
Date of Publication:
September 1, 2005
Date of Creation:
2005
Title:
Reverse mathematics 2001.
Series:
Lecture notes in logic ; 21
Other Title:
Association for Symbolic Logic
Copyright Claimant:
Association for Symbolic Logic
Authorship on Application:
text: Stephen G. Simpson, 1945-.
Names:
Stephen G. Simpson 1945-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Intensionality

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006240987 / 2005-10-27
Date of Publication:
September 1, 2005
Date of Creation:
2005
Title:
Intensionality.
Series:
Lecture notes in logic ; 22
Other Title:
Association for Symbolic Logic
Copyright Claimant:
Association for Symbolic Logic
Authorship on Application:
text: Reinhard Kahle, 1967-.
Names:
Reinhard Kahle 1967-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

The Notre Dame lectures

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006240988 / 2005-10-27
Date of Publication:
April 9, 2005
Date of Creation:
2004
Title:
The Notre Dame lectures.
Copyright Note:
Cataloged from appl. only.
Series:
Lecture notes in logic ; 18
Other Title:
Association for Symbolic Logic
Copyright Claimant:
Association for Symbolic Logic
Authorship on Application:
editor: Peter Cholak, 1962-.
Names:
Peter Cholak 1962-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Model theory of stochastic processes

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006240991 / 2005-10-27
Date of Publication:
July 19, 2002
Date of Creation:
2002
Title:
Model theory of stochastic processes.
Copyright Note:
Cataloged from appl. only.
Series:
Lecture notes in logic ; 14
Other Title:
Association for Symbolic Logic
Copyright Claimant:
Association for Symbolic Logic
Authorship on Application:
coauthors of text: Sergio Fejardo, 1956-, & H. Jerome Kiesler, 1936-.
Names:
Sergio Fejardo 1956-
H. Jerome Kiesler 1936-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Model theory of fields

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006449279 / 2006-10-23
Date of Publication:
December 15, 2005
Date of Creation:
2005
Title:
Model theory of fields.
Application Title:
Lecture notes in logic 5.
Basis of Claim:
New Matter: pref., revisions & additions & index.
Previous Registration:
Some material prev. pub.
Copyright Note:
Cataloged from appl. only.
Copyright Claimant:
Association for Symbolic Logic
Authorship on Application:
David Marker, 1958-, Margit Messmer, 1964-, Anand Pillay, 1951-.
Names:
David Marker 1958-
Margit Messmer 1964-
Anand Pillay 1951-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Logicism renewed

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006449280 / 2006-10-23
Date of Publication:
November 18, 2005
Date of Creation:
2005
Title:
Logicism renewed : logical foundations for mathematics and computer science.
Application Title:
Lecture notes in logic 23.
Copyright Note:
Cataloged from appl. only.
Copyright Claimant:
Association for Symbolic Logic
Authorship on Application:
Paul C. Gilmore, 1925-.
Names:
Paul C. Gilmore 1925-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Logic in Tehran

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006450875 / 2006-10-23
Date of Publication:
May 26, 2006
Date of Creation:
2006
Title:
Logic in Tehran : proceedings of the Workshop and conference on logic, algebra and arthmetic, held October 18-22, 2003 / edited by Ali Enayat, Iraj Kalantari, Mojtaba Moniri.
Series:
Lecture notes in logic ; 26
Imprint:
Wellesley MA : Association for Symbolic Logic, c2006.
Description:
341 p.
Copyright Claimant:
Association for Symbolic Logic
Names:
Ali Enayat
Iraj Kalantari
Mojtaba Moniri
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Logic colloquium '02

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006450879 / 2006-10-23
Date of Publication:
July 13, 2006
Date of Creation:
2006
Title:
Logic colloquium '02 : proceedings of the annual European summer meeting of the assocation fo rsymbolic logic and the colloquium logicum, held in Munster, Germany, August 3-11, 2002 / edited by Zoe Chatzidakis, Peter Koepke, Wolfram Pohlers.
Series:
Lecture notes in logic ; 27
Imprint:
Wellesley, MA : ASL, c2006.
Description:
359 p.
Copyright Claimant:
Association for Symbolic Logic
Names:
Zoe Chatzidakis
Peter Koepke
Wolfram Pohlers
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

Nonstandard methods and applications in mathematics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0006450892 / 2006-10-23
Date of Publication:
February 21, 2006
Date of Creation:
2006
Title:
Nonstandard methods and applications in mathematics.
Copyright Note:
Cataloged from appl. only.
Copyright Claimant:
Association for Symbolic Logic
Authorship on Application:
Nigle J. Cutland, 1944-, Mauro Di Nasso, 1963-, David A. Ross, 1956-
Names:
Nigle J. Cutland 1944-
Mauro Di Nasso 1963-
David A Ross 1956-
Association for Symbolic Logic (29 documents)
example document: Reflections on the foundations of mathematics

The Journal of symbolic logic

Title:
The Journal of symbolic logic / managing editor, Alfons Borgers ... [et al.].
Serial Publication Year:
2000
Serial Key Title:
The Journal of symbolic logic
Imprint:
Providence : The Association.
ISSN:
0022-4812

Description:
print material.
Frequency:
Quarterly.
Number of similar titles:
10
Description based on:
Vol. 42, no. 3, Sept. 1977.
Copyright Claimant:
Association for Symbolic Logic, Inc. (employer for hire)
Names:
Alfons Borgers

Copyrights records by Borgers, Alfons

Association for Symbolic Logic, Inc.

The Journal of symbolic logic /managing editor, Alfons Borgers ... [et al.]

Title:
The Journal of symbolic logic /managing editor, Alfons Borgers ... [et al.].
Serial Publication Year:
1978
Imprint:
Providence : Association for Symbolic Logic.
Description:
print material.
Frequency:
Quarterly.
Variant title:
Journal of symbolic logic
Description based on:
Vol. 42, no. 3, Sept. 1977.
Copyright Claimant:
Association for Symbolic Logic, Inc.
Authorship on Application:
Association for Symbolic Logic, Inc., employer for hire.
Names:
Alfons Borgers
Association for Symbolic Logic, Inc.

The Journal of symbolic logic

Title:
The Journal of symbolic logic / managing editor, Alfons Borgers ... [et al.].
Serial Publication Year:
1979
Imprint:
Providence : Association for Symbolic Logic.
ISSN:
0022-4812

Description:
print material.
Frequency:
Quarterly.
Number of similar titles:
10
Variant title:
Journal of symbolic logic
Description based on:
Vol. 42, no. 3, Sept. 1977.
Copyright Claimant:
Association for Symbolic Logic, Inc.
Authorship on Application:
Association for Symbolic Logic, Inc., employer for hire.
Names:
Alfons Borgers
Association for Symbolic Logic, Inc.
This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible. Multiple persons can share the same name.