Book serie: / Книги серии: Studies in logic and the foundations of mathematics v. 40 » Page 5 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Studies in logic and the foundations of mathematics v. 40 » Page 5

book Formal systems and recursive functions

Formal systems and recursive functions

djvu

Author: John N Crossley, Michael Dummett
Language: English
Year: 1965

00

27.01.2024

0

0

book Set Theory: An Introduction to Large Cardinals

Set Theory: An Introduction to Large Cardinals

pdf

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

00

27.01.2024

0

0

book Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress

Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress

djvu

Author: Ernest Nagel Patrick Suppes Alfred Tarski
Language: English
Year: 1962

00

27.01.2024

0

0

book Equivalents of the Axiom of Choice II

Equivalents of the Axiom of Choice II

djvu

Author: Herman Rubin
Language: English
Year: 1985

00

27.01.2024

0

0

book Logic Colloquium '87: Proceedings Granada, Spain 1987

Logic Colloquium '87: Proceedings Granada, Spain 1987

djvu

Author: H. D. Ebbinghaus J. Fernandez-Prida M. Garrido D. Lascar
Language: English
Year: 1989

00

27.01.2024

0

0

book Foundations of Set Theory, Second Edition

Foundations of Set Theory, Second Edition

djvu

Author: A.A. Fraenkel Y. Bar-Hillel A. Levy
Language: English
Year: 1973

00

27.01.2024

0

0

book Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing

djvu

Author: Melvin Fitting
Language: English
Year: 1969

00

27.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: S. Shelah
Language: English
Year: 1990

00

27.01.2024

0

0

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 Computability, Complexity, Logic

Computability, Complexity, Logic

djvu

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

00

27.01.2024

0

0