Book serie: / Книги серии: Oxford Logic Guides 55 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Oxford Logic Guides 55

book Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

Consequence Relations: An Introduction to the Lindenbaum-Tarski Method

pdf

Author: Alex Citkin Alexei Muravitsky
Language: English
Year: 2022

00

15.02.2024

0

0

book Category Theory

Category Theory

pdf

Author: Steve Awodey
Language: English
Year: 2010

00

05.02.2024

0

0

book Recursive aspects of descriptive set theory

Recursive aspects of descriptive set theory

pdf

Author: R. Mansfield and G. Weitkamp
Language: English
Year: 1985

00

30.01.2024

0

0

book Toposes and local set theories: an introduction

Toposes and local set theories: an introduction

djvu

Author: Bell John Lane
Language: English
Year: 1988

00

30.01.2024

0

0

book The Boole - De Morgan correspondence 1842-1864

The Boole - De Morgan correspondence 1842-1864

djvu

Author: Boole George, Boole George, De Morgan Augustus, Morgan Augustus de, Smith G. C
Language: English
Year: 1982

00

30.01.2024

0

0

book Subrecursion: functions and hierarchies

Subrecursion: functions and hierarchies

djvu

Author: Rose H.E.
Language: English
Year: 1984

00

30.01.2024

0

0

book Simplicity theory

Simplicity theory

pdf

Author: Kim Byunghan
Language: English
Year: 2014

00

30.01.2024

0

0

book Relative category theory and geometric morphisms: a logical approach

Relative category theory and geometric morphisms: a logical approach

djvu

Author: Chapman Jonathan, Rowbottom Frederick
Language: English
Year: 1992

00

30.01.2024

0

0

book Recursion theory for metamathematics

Recursion theory for metamathematics

djvu

Author: Smullyan Raymond M
Language: English
Year: 1993

00

30.01.2024

0

0

book Models of Peano arithmetic

Models of Peano arithmetic

djvu

Author: Kaye Richard
Language: English
Year: 1991

00

30.01.2024

0

0