Book serie: / Книги серии: Studies in Logic and the Foundations of Mathematics 22 » Page 20 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Studies in Logic and the Foundations of Mathematics 22 » Page 20

book Combinatory Logic, Volume I

Combinatory Logic, Volume I

pdf

Author: Haskell Brooks Curry Robert Feys William Craig
Language: English
Year: 1958

00

27.01.2024

1

0

book Rudiments of μ-Calculus

Rudiments of μ-Calculus

pdf

Author: A. Arnold D. Niwinski
Language: English
Year: 2001

00

27.01.2024

0

0

book Set Theory: An Introduction to Large Cardinals

Set Theory: An Introduction to Large Cardinals

djvu

Author: F. R. Drake
Language: English
Year: 1974

00

27.01.2024

0

0

book Classification Theory

Classification Theory

pdf

Author: S. Shelah
Language: English
Year: 1990

00

27.01.2024

0

0

book Cylindric Algebras, Part II

Cylindric Algebras, Part II

djvu

Author: Leon Henkin J. Donald Monk Alfred Tarski
Language: English
Year: 1985

00

27.01.2024

0

0

book Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

djvu

Author: Nikolaos Galatos Peter Jipsen Tomasz Kowalski Hiroakira Ono
Language: English
Year: 2007

00

27.01.2024

0

0

book Relation Algebras by Games

Relation Algebras by Games

pdf

Author: R. Hirsch I. Hodkinson
Language: English
Year: 2002

00

27.01.2024

0

0

book Logic, Methodology and Philosophy of Science IX: Proceedings, Uppsala, 1991

Logic, Methodology and Philosophy of Science IX: Proceedings, Uppsala, 1991

pdf

Author: Dag Prawitz Brian Skyrms Dag Westerstahl (eds.)
Language: English
Year: 1995

00

27.01.2024

0

0

book Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

pdf

Author: Andrea Cantini
Language: English
Year: 1996

00

27.01.2024

0

0

book Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

djvu

Author: Yu.L.Ershov S.S.Goncharov A.Nerode J.B.Remmel
Language: English
Year: 1998

00

27.01.2024

0

0