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

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

book Fundamentals of generalized recursion theory

Fundamentals of generalized recursion theory

djvu

Author: Melvin Chris Fitting
Language: English
Year: 1981

00

26.01.2024

0

0

book Proceedings of the Second Scandinavian Logic Symposium

Proceedings of the Second Scandinavian Logic Symposium

djvu

Author: J. E. Fenstad (editor)
Language: English
Year: 1971

00

26.01.2024

0

0

book Many-Dimensional Modal Logics: Theory and Applications

Many-Dimensional Modal Logics: Theory and Applications

pdf

Author: D.M. Gabbay A. Kurucz F. Wolter M. Zakharyaschev
Language: English
Year: 2003

00

26.01.2024

0

0

book Combinatory logic

Combinatory logic

djvu

Author: Curry Haskell B.
Language: English
Year: 1958

00

26.01.2024

0

0

book Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.

Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers.

djvu

Author: H. Jerome Keisler
Language: English
Year: 1971

00

26.01.2024

0

0

book Rudiments of μ-Calculus

Rudiments of μ-Calculus

pdf

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

00

26.01.2024

0

0

book The theory of semisets

The theory of semisets

djvu

Author: Petr Vopenka Petr Hajek
Language: English
Year: 1972

00

26.01.2024

0

0

book A Survey of Mathematical Logic.

A Survey of Mathematical Logic.

djvu

Author: Hao Wang
Language: English
Year: 1963

00

26.01.2024

0

0

book Combinatorial set theory

Combinatorial set theory

djvu

Author: Neil H. Williams
Language: English
Year: 1977

00

26.01.2024

0

0

book Algebra of Proofs

Algebra of Proofs

djvu

Author: Szabo M.E.
Language: English
Year: 1978

00

26.01.2024

0

0