Search Publications | Logic

Showing 101 to 120 of 226 Products

Nonlinear Methods in Numerical Analysis

Product Type: Book

Edition: 1

Volume: 1

First Published: 1987

eBook: 978-0-08-087247-6

Numerical Approximation of Partial Differential Equations

Product Type: Book

Edition: 1

Volume: 133

First Published: 1987

eBook: 978-0-08-087244-5

Descriptive Set Theory

Product Type: Book

Edition: 1

Volume: 100

First Published: 1987

eBook: 978-0-08-096319-8

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

Combinatorial Set Theory: Partition Relations for Cardinals

Product Type: Book

Edition: 1

Volume: 106

First Published: 1984

eBook: 978-0-444-53745-4

Topoi

Product Type: Book

Edition: 2

Volume: 98

First Published: 1984

eBook: 978-1-4832-9921-1

Set Theory An Introduction To Independence Proofs

Product Type: Book

Edition: 1

Volume: 102

First Published: 1983

eBook: 978-0-08-057058-7

Hardcover: 978-0-444-86839-8

Annals of Pure and Applied Logic

Product Type: Journal

First Published: 1983

Journal: 0168-0072

SNIP: 1.486 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.38 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: 170

Issues: 12

Southeast Asian Conference on Logic

Product Type: Book

Edition: 1

First Published: 1983

eBook: 978-0-08-096037-1