All Products

Showing 61 to 80 of 174 Products

Handbook of Boolean Algebras

Product Type: Book

Edition: 1

Volume: 2

First Published: 1989

Hardcover: 978-0-444-87152-7

Constructivism in Mathematics, Vol 2

Product Type: Book

Edition: 1

Volume: 123

First Published: 1988

Hardcover: 978-0-444-70358-3

eBook: 978-0-08-095510-0

Computers and Languages

Product Type: Book

Edition: 1

Volume: 4

First Published: 1988

eBook: 978-1-4832-9942-6

Matrix Logic

Product Type: Book

Edition: 1

First Published: 1988

eBook: 978-1-4832-9549-7

Constructivism in Mathematics, Vol 1

Product Type: Book

Edition: 1

Volume: 121

First Published: 1988

Hardcover: 978-0-444-70266-1

eBook: 978-0-08-057088-4

Logic Colloquium '86

Product Type: Book

Edition: 1

Volume: 124

First Published: 1987

eBook: 978-0-444-53583-2

Logic Colloquium '85

Product Type: Book

Edition: 1

Volume: 122

First Published: 1987

eBook: 978-0-444-53582-5

Boole's Logic and Probability

Product Type: Book

Edition: 2

Volume: 85

First Published: 1986

eBook: 978-0-08-088005-1

Logic, Methodology and Philosophy of Science VII

Product Type: Book

Edition: 1

Volume: 114

First Published: 1986

eBook: 978-0-08-096039-5

Foundations of Infinitesimal Stochastic Analysis

Product Type: Book

Edition: 1

First Published: 1986

eBook: 978-0-08-096042-5

Theory of Relations

Product Type: Book

Edition: 1

First Published: 1986

eBook: 978-0-08-096041-8

Algebra, Combinatorics and Logic in Computer Science

Product Type: Book

Edition: 1

First Published: 1986

Hardcover: 978-0-444-87869-4

Logic Colloquium '84

Product Type: Book

Edition: 1

First Published: 1986

eBook: 978-0-08-096043-2

Harvey Friedman's Research on the Foundations of Mathematics

Product Type: Book

Edition: 1

Volume: 117

First Published: 1985

eBook: 978-0-08-096040-1

Equivalents of the Axiom of Choice, II

Product Type: Book

Edition: 1

Volume: 116

First Published: 1985

eBook: 978-0-08-088765-4

Cylindric Algebras

Product Type: Book

Edition: 1

Volume: 115

First Published: 1985

eBook: 978-0-08-088758-6

Intensional Mathematics

Product Type: Book

Edition: 1

Volume: 113

First Published: 1985

eBook: 978-0-08-088004-4

The Lambda Calculus

Product Type: Book

Edition: 2

Volume: 103

First Published: 1984

eBook: 978-0-08-093375-7

Topoi

Product Type: Book

Edition: 2

Volume: 98

First Published: 1984

eBook: 978-1-4832-9921-1

Annals of Pure and Applied Logic

Product Type: Journal

First Published: 1983

Journal: 0168-0072

SNIP: 1.23 Source Normalized Impact per Paper (SNIP):
SNIP measures contextual citation impact by weighting citations based on the total number of citations in a subject field.

SJR: 1.226 SCImago Journal Rank (SJR):
SJR is a prestige metric based on the idea that not all citations are the same. SJR uses a similar algorithm as the Google page rank; it provides a quantitative and a qualitative measure of the journal’s impact.

Volumes: 171

Issues: 10