Book publisher: / Книги издательства Cambridge University Press / Association for Symbolic Logic » Online Library TheLib.net

Online Library TheLib.net » Book publisher: / Книги издательства Cambridge University Press / Association for Symbolic Logic

book Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

pdf

Author: Yiannis N. Moschovakis
Language: English
Year: 2019

00

30.01.2024

0

0

book Logic Colloquium 2000

Logic Colloquium 2000

djvu

Author: Rene Cori Alexander Razborov Stevo Todorcevic Carol Wood (eds.)
Language: English
Year: 2005

00

29.01.2024

0

0

book Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

djvu

Author: Viggo Stoltenberg-Hansen Jouko Väänänen (eds.)
Language: English
Year: 2006

00

29.01.2024

0

0

book The Notre Dame Lectures: Lecture Notes in Logic, 18

The Notre Dame Lectures: Lecture Notes in Logic, 18

djvu

Author: Peter Cholak (eds.)
Language: English
Year: 2005

00

29.01.2024

0

0

book 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

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

djvu

Author: Buss Samuel R., Hájek Petr, Pudlák Pavel (eds.)
Language: English
Year: 2000

00

29.01.2024

0

0

book A Course in Model Theory

A Course in Model Theory

pdf

Author: Katrin Tent Martin Ziegler
Language: English
Year: 2012

00

29.01.2024

0

0

book Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

pdf

Author: Robert Goldblatt
Language: English
Year: 2011

00

27.01.2024

0

0

book Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]

Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper]

pdf

Author: Gabbay D. M
Language: English
Year: 1996

00

27.01.2024

0

0

book Inexhaustibility: A Non-Exhaustive Treatment

Inexhaustibility: A Non-Exhaustive Treatment

djvu

Author: Torkel Franzén
Language: English
Year: 2004

00

27.01.2024

0

0

book Wadge Degrees and Projective Ordinals: The Cabal Seminar Volume II

Wadge Degrees and Projective Ordinals: The Cabal Seminar Volume II

pdf

Author: Alexander S. Kechris Benedikt Löwe John R. Steel
Language: English
Year: 2012

00

27.01.2024

0

0