MPG.eBooks - Search Results

1

Universal spaces and mappings

by Iliadis, S. D.
Published 2005

Elsevier

Table of Contents: “.... Isometries and universality. -- Chapter 10. Concluding remarks and open problems. -- Bibliography. -- Index...”

Read Now

2

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

by Leblanc, Hugues
Published 1973

North-Holland

Read Now

3

Random graphs '83 : based on lectures presented at the 1st Poznań Seminar on Random Graphs, August 23-25, 1983

by Karoński, Michał
Published 1985

North-Holland

Read Now

4

Random graphs '85 : based on lectures presented at the 2nd International Seminar on Random Graphs and Probabilistic Methods in Combinatorics, August 5-9, 1985

by Karoński, Michał
Published 1987

North-Holland

Read Now

5

Model theory

by Chang, Chen Chung
Published 1990

North-Holland

Table of Contents: “.... The Fundamental Theorem. Measurable Cardinals. Regular Ultrapowers. Nonstandard Universes; Saturated and Special...”

Read Now

6

Descriptive set theory

by Moschovakis, Yiannis N.
Published 1980

North-Holland

Table of Contents: “...8C. Definability in the universe of sets8D. Gödel's model of constructible sets; 8E. Absoluteness...”

Read Now

7

Tools and techniques in modal logic

by Kracht, Marcus
Published 1999

Elsevier

Table of Contents: “... of Modal Logic. Universal algebra and duality theory. Definability and correspondence. Reducing polymodal...”

Read Now

8

The theory of semisets

by Vopěnka, Petr
Published 1972

North-Holland Pub. Co.

Table of Contents: “...SECTION 2. MODEL-CLASSES AND SET-UNIVERSAL RELATIONS. INDEPENDENCE OF AXIOM (D3)SECTION 3...”

Read Now

9

A survey of mathematical logic

by Wang, Hao
Published 1963

Elsevier Science

Table of Contents: “... of arithmetic -- Computation -- Variant to Turing's theory of calculating machines -- Universal Turing machines...”

Read Now

10

Recursive functionals

by Sanchis, Luis E.
Published 1992

North-Holland

Table of Contents: “.... Formalization: Reductional Semantics; Chapter 11. Interpreters; Chapter 12. A Universal Interpreter; Chapter 13...”

Read Now

11

Theories of computational complexity

by Calude, Cristian
Published 1988

North-Holland

Table of Contents: “... Language; 5.3. LOOP Hierarchies; 5.4. A Universal Language; 5.5. A Dynamic Characterization of LOOP Classes...”

Read Now

12

Combinatory logic, Volume II

by Curry, Haskell B.
Published 1972

North-Holland Pub. Co

Table of Contents: “.... The predicate calculus; Chapter 16 The Theory of Universal Generality; A. The system F30; B. Deductive theory...”

Read Now

13

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

by Gandy, R. O.
Published 1977

North-Holland Pub. Co.

Table of Contents: “... ideals; Chapter 25 The real line and the universe; Chapter 26 Adding dependent choice to the prime ideal...”

Read Now

14

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

by Cohen, L. Jonathan
Published 1982

North-Holland Pub. Co.

Table of Contents: “... Counterexample to Compactness in the Constructible Universe; PART 5. PHILOSOPHICAL LOGIC; Chapter 21. Anderson...”

Read Now

15

Elementary induction on abstract structures

by Moschovakis, Yiannis N.
Published 1974

North-Holland Pub. Co.

Table of Contents: “... is hyperelementary; 5C. The quantifier G; 5D. Parametrizations and universal sets; Exercises; Chapter 6. Inductive...”

Read Now

16

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

by Crossley, John N.
Published 1967

North-Holland

Read Now

17

Proceedings of the Second Scandinavian Logic Symposium

Published 1971

North-Holland Pub. Co.

Read Now

18

Foundational studies, Volume II : selected works

by Mostowski, Andrzej
Published 1979

North-Holland Pub. Co.

Table of Contents: “.... On the independence of definitions of finiteness in a system of logic; Chapter 3. On some universal relations; Chapter...”

Read Now

19

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium

by Fenstad, Jens Erik
Published 1978

North-Holland Pub. Co.

Read Now

20

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14...

by Bar-Hillel, Yehoshua
Published 1970

North-Holland Pub. Co.

Narrow Search