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

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

book Classical recursion theory: Volume II

Classical recursion theory: Volume II

djvu

Author: Piergiorgio Odifreddi
Language: English
Year: 1999

00

27.01.2024

0

0

book Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 (Studies in Logic and the Foundations of Mathematics, Vol. 125)

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1 (Studies in Logic and the Foundations of Mathematics, Vol. 125)

djvu

Author: Piergiorgio Odifreddi
Language: English
Year: 1999

00

27.01.2024

0

0

book Computability, Complexity, Logic

Computability, Complexity, Logic

djvu

Author: E. Börger
Language: German
Year: 1989

00

27.01.2024

0

0

book Quantification in nonclassical logic

Quantification in nonclassical logic

gz

Author: Gabbay D. Shehtman V. Skvortsov D.
Language: English
Year: 2006

00

27.01.2024

0

0

book Boole's Logic and Probability: Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory

Boole's Logic and Probability: Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory

pdf

Author: Theodore Hailperin
Language: English
Year: 1986

00

27.01.2024

0

0

book Introduction to the Theory of Finite Automata

Introduction to the Theory of Finite Automata

djvu

Author: Kobrinskii N. Trakhtenbrot B
Language: English
Year: 1965

00

26.01.2024

0

0

book Theory of relations

Theory of relations

djvu

Author: Roland Fraisse
Language: English
Year: 1986

00

26.01.2024

0

0

book Combinatory logic

Combinatory logic

djvu

Author: Curry H.B. Hindley J.R. Seldin J.P
Language: English
Year: 1972

00

26.01.2024

0

0

book Recursive functionals

Recursive functionals

djvu

Author: L.E. Sanchis
Language: English
Year: 1992

00

26.01.2024

0

0

book Classification Theory and the Number of Non-Isomorphic Models

Classification Theory and the Number of Non-Isomorphic Models

djvu

Author: Saharon Shelah
Language: English
Year: 1990

00

26.01.2024

1

0