New Acquisitions Shelf

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

229 hits in 0.013 seconds
Refine your search
Source
Keywords
Branch Library
DDC
Select All   Deselect All   Toggle Selection   Add To Mindlist   Mail Export   File Export
feed icon
1.
E-BOOK
Non-Standard Analysis (1966)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: viii, 293 p.
ISBN: 978-0-444-53407-1
2.
E-BOOK
Aspects of Inductive Logic (1966)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 320 p.
ISBN: 978-0-444-53408-8
3.
E-BOOK
Sets, Models and Recursion Theory (1967)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 331 p.
ISBN: 978-0-444-53410-1
4.
E-BOOK
Problems in the Philosophy of Science (1968)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 448 p.
ISBN: 978-0-444-53413-2
5.
E-BOOK
Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress (1966)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 661 p.
ISBN: 978-0-8047-0096-2
6.
E-BOOK
A Deductive Theory of Space and Time (1966)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vii, 163 p.
ISBN: 978-0-444-53409-5
7.
E-BOOK
Elements of Mathematical Logic : (Model Theory) (1967)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9 ; Mathematics - Philosophy - Congresses
Pages: vii, 222 p.
ISBN: 978-0-444-53412-5
8.
E-BOOK
Computer Programming and Formal Systems (1963)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 161 p.
ISBN: 978-0-444-53400-2
9.
E-BOOK
Languages with Expressions of Infinite Length (1964)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: xix, 183 p.
ISBN: 978-0-444-53401-9
10.
E-BOOK
Formal Systems and Recursive Functions (1965)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 350 p.
ISBN: 978-0-444-53405-7
11.
E-BOOK
A Survey Of Mathematical Logic (1963)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 651 p.
ISBN: 978-0-444-53398-2
12.
E-BOOK
The Logical Systems of Lesniewski (1962)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: iv, 361 p.
ISBN: 978-0-444-53395-1
13.
E-BOOK
Recursive Analysis (1961)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 138 p.
ISBN: 978-0-444-53394-4
14.
E-BOOK
Lincos : Design of a Language for Cosmic Intercourse (1960)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: iv, 224 p.
ISBN: 978-0-444-53393-7
15.
E-BOOK
Nomological Statements and Admissible Operations (1954)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: iv, 140 p.
ISBN: 978-0-444-53379-1
16.
E-BOOK
Keywords: DDC 510/.01 ; LC QA9
Pages: xi, 488 p.
ISBN: 978-0-444-53392-0
17.
E-BOOK
Ordinal Algebras (1956)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: iv, 133 p.
ISBN: 978-0-444-53384-5
18.
E-BOOK
Recursive Number Theory : A Development of Recursive Arithmetic in a Logic-Free Equation Calculus (1957)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: ix, 190 p.
ISBN: 978-0-444-53385-2
19.
E-BOOK
On the Metamathematics of Algebra (1951)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 195 p.
ISBN: 978-0-444-53369-2
20.
E-BOOK
Ancient Formal Logic (1951)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vii, 122 p.
ISBN: 978-0-444-70358-3
21.
E-BOOK
Abstract Set Theory (1953)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: ix, 479 p.
ISBN: 978-0-444-53377-7
22.
E-BOOK
Truth and Consequence in Mediaeval Logic (1953)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: viii, 113 p.
ISBN: 978-0-444-53376-0
23.
E-BOOK
The Foundations of Intuitionistic Mathematics (1965)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 206 p.
ISBN: 978-0-444-53404-0
24.
E-BOOK
A Transfinite Type Theory with Type Variables (1965)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: xv, 143 p.
ISBN: 978-0-444-53402-6
25.
E-BOOK
Keywords: DDC 510/.01 ; LC QA9
Pages: xv, 417 p.
ISBN: 978-0-444-53387-6
26.
E-BOOK
Toward a Systematic Pragmatics (1959)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: xv, 107 p.
ISBN: 978-0-444-53389-0
27.
E-BOOK
Aristotle's Modal Syllogisms (1963)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 100 p.
ISBN: 978-0-444-53396-8
28.
E-BOOK
Intuitionism an Introduction (1956)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: viii, 133 p.
ISBN: 978-0-444-53382-1
29.
E-BOOK
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 113 p.
ISBN: 978-0-444-53381-4
30.
E-BOOK
Axiomatic Set Theory (1958)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 226 p.
ISBN: 978-0-444-53386-9
31.
E-BOOK
The Propositional Logic of Boethius (1951)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: x, 79 p.
ISBN: 978-0-444-53366-1
32.
E-BOOK
Equivalents of the Axiom of Choice (1970)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: xxiii, 134 p.
ISBN: 978-0-444-53399-9
33.
E-BOOK
Introduction to Model Theory and to the Metamathematics of Algebra (1963)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 284 p.
ISBN: 978-0-444-53397-5
34.
E-BOOK
Introduction to the Theory of Finite Automata (1965)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vii, 337 p.
ISBN: 978-0-444-53403-3
35.
E-BOOK
Intuitionism An Introduction (1966)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: ix, 147 p.
ISBN: 978-0-444-53406-4
36.
E-BOOK
Computer Programming and Formal Systems (1959)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 161 p.
ISBN: 978-0-444-53391-3
37.
E-BOOK
A Study in the Philosophy of Science (1959)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: xxviii, 731 p.
ISBN: 978-0-444-53390-6
38.
E-BOOK
Foundations of Set Theory (1958)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: x, 415 p.
ISBN: 978-0-444-53388-3
39.
E-BOOK
Complete Theories (1956)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 129 p.
ISBN: 978-0-444-53383-8
40.
E-BOOK
Solvable Cases of the Decision Problem (1954)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: viii, 114 p.
ISBN: 978-0-444-53380-7
41.
E-BOOK
Undecidable Theories (1953)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: ix, 98 p.
ISBN: 978-0-444-53378-4
42.
E-BOOK
Outlines of a Formalist Philosophy of Mathematics (1951)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vii, 75 p.
ISBN: 978-0-444-53368-5
43.
E-BOOK
An Essay In Modal Logic (1951)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 90 p.
ISBN: 978-0-444-53370-8
44.
E-BOOK
Sentences Undecidable in Formalized Arithmetic (1952)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 117 p.
ISBN: 978-0-444-53375-3
45.
E-BOOK
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 124 p.
ISBN: 978-0-444-53372-2
46.
E-BOOK
Intuitionistic Logic Model Theory and Forcing (1969)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: 191 p.
ISBN: 978-0-444-53418-7
47.
E-BOOK
Model Theory For Infinitary Logic (1971)
Amsterdam : Noord-Hollandsche U.M
Keywords: DDC 511/.3 ; LC QA248
Pages: viii, 208 p.
ISBN: 978-0-7204-2258-0
48.
E-BOOK
Proceedings of the Second Scandinavian Logic Symposium (1971)
Amsterdam : Noord-Hollandsche U.M
Keywords: DDC 511/.3 ; LC QA248
Pages: v, 405 p.
ISBN: 978-0-7204-2259-7
49.
E-BOOK
Logic Colloquium 76, Proceedings of a conference : Oxford, 1 July 1976 (1977)
Amsterdam, Netherlands ; New York : North-Holland Pub. Co
Keywords: DDC 511.3 ; LC QA10
Pages: x, 612 p.
ISBN: 978-0-7204-0691-7
50.
E-BOOK
Logic Colloquium '73, Proceedings of the Logic Colloquium : Bristol, July 1973 (1975)
Amsterdam, Netherlands ; New York : North-Holland Pub. Co
Keywords: DDC 511.3 ; LC QA10
Pages: viii, 513 p.
ISBN: 978-0-444-10642-1
51.
E-BOOK
Intuitionism and Proof Theory : Proceedings of the Summer Conference at Buffalo N.Y. 1968 (1970)
Amsterdam : Noord-Hollandsche U.M
Keywords: DDC 511/.3 ; LC QA248
Pages: viii, 516 p.
ISBN: 978-0-7204-2257-3
52.
E-BOOK
Proceedings of the Third Scandinavian Logic Symposium (1975)
Amsterdam, Netherlands ; New York : North-Holland Pub. Co
Keywords: DDC 511.3 ; LC QA10
Pages: v, 214 p.
ISBN: 978-0-444-10679-7
53.
E-BOOK
Contributions to Non-Standard Analysis (1972)
Amsterdam : Noord-Hollandsche U.M
Keywords: DDC 511/.3 ; LC QA248
Pages: vi, 289 p.
ISBN: 978-0-7204-2065-4
54.
E-BOOK
Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science : Salzburg, 1983 (1986)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 511/.32 ; LC QA9
Pages: ix, 738 p.
ISBN: 978-0-444-87656-0
55.
E-BOOK
Contributions to Mathematical Logic : Proceedings of the Logic Colloquium, Hannover 1966 (1968)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: xi, 298 p.
ISBN: 978-0-444-53414-9
56.
E-BOOK
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic : Santiago, 1 December 1978 (1980)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: x, 392 p.
ISBN: 978-0-444-85402-5
57.
E-BOOK
Foundational Studies Selected Works : Part A (1979)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7 ; Model theory
Pages: xl, 635 p.
ISBN: 978-0-444-85102-4
58.
E-BOOK
Word Problems II (1980)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: viii, 578 p.
ISBN: 978-0-444-85343-1
59.
E-BOOK
Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities : Jerusalem 11–14 November 1968 (1970)
Amsterdam : Noord-Hollandsche U.M
Keywords: DDC 511/.3 ; LC QA248
Pages: v, 145 p.
ISBN: 978-0-7204-2255-9
60.
E-BOOK
Set Theory : With an Introduction to Descriptive Set Theory (1976)
Amsterdam, Netherlands ; New York : North-Holland Pub. Co
Keywords: DDC 511.3 ; LC QA10
Pages: ix, 514 p.
ISBN: 978-0-7204-0470-8
61.
E-BOOK
Proof Theory (1975)
Amsterdam, Netherlands ; New York : North-Holland Pub. Co
Keywords: DDC 511.3 ; LC QA10
Pages: v, 372 p.
ISBN: 978-0-444-10492-2
62.
E-BOOK
Constructive Order Types (1969)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: 225 p.
ISBN: 978-0-444-53420-0
63.
E-BOOK
The Metamathematics of Algebraic Systems : Collected Papers: 1936–1967 (1971)
Amsterdam : Noord-Hollandsche U.M
Keywords: DDC 511/.3 ; LC QA248
Pages: xii, 494 p.
ISBN: 978-0-7204-2266-5
64.
E-BOOK
Descriptive Set Theory (1980)
Amsterdam ; New York : North-Holland Pub. Co
Keywords: DDC 511/.3 ; LC QA9.6
Pages: xii, 637 p.
ISBN: 978-0-444-70199-2
65.
E-BOOK
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 (1973)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7 ; Model theory
Pages: x, 981 p.
ISBN: 978-0-444-10491-5
66.
E-BOOK
The Axiom of Choice (1973)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: viii, 202 p.
ISBN: 978-0-444-10484-7
67.
E-BOOK
Elementary Induction on Abstract Structures (1974)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: vii, 218 p.
ISBN: 978-0-444-10537-0
68.
E-BOOK
An Algebraic Approach to Non-Classical Logics (1974)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: ix, 403 p.
ISBN: 978-0-7204-2264-1
69.
E-BOOK
Truth, Syntax and Modality (1973)
Amsterdam : Noord-Hollandsche U.M
Keywords: DDC 511/.3 ; LC QA248 ; Mathematics - Philosophy ; Set theory
Pages: v, 317 p.
ISBN: 978-0-7204-2269-6
70.
E-BOOK
Foundational Studies Selected Works : Part B (1979)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7 ; Model theory
Pages: viii, 605 p.
ISBN: 978-0-444-85103-1
71.
E-BOOK
Keywords: DDC 510/.01 ; LC QA9
Pages: xiv, 417 p.
ISBN: 978-0-444-53417-0
72.
E-BOOK
The Collected Papers of Gerhard Gentzen (1969)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: viii, 338 p.
ISBN: 978-0-444-53419-4
73.
E-BOOK
Logic, Methodology and Philosophy of Science III (1968)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: xiii, 554 p.
ISBN: 978-0-444-53416-3
74.
E-BOOK
Handbook of Mathematical Logic (1977)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7 ; Model theory
Pages: viii, 1165 p.
ISBN: 978-0-444-86388-1
75.
E-BOOK
The Problem of Inductive Logic (1968)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 417 p.
ISBN: 978-0-444-53415-6
76.
E-BOOK
Sets and Classes on The Work by Paul Bernays (1976)
Amsterdam, Netherlands ; New York : North-Holland Pub. Co
Keywords: DDC 511.3 ; LC QA10 ; Boole, George - 1815-1864
Pages: xxiii, 358 p.
ISBN: 978-0-7204-2284-9
77.
E-BOOK
Constructible Sets with Applications (1969)
Amsterdam : Noord-Hollandsche U.M
Keywords: DDC 511/.3 ; LC QA248
Pages: vi, 269 p.
ISBN: 978-0-444-53421-7
78.
E-BOOK
Language in Action : Categories, Lambdas and Dynamic Logic (1991)
Amsterdam ; New York : North-Holland
Keywords: DDC 511.3/5 ; LC QA9.615 ; Recursive functions
Pages: x, 349 p.
ISBN: 978-0-444-89000-9
79.
E-BOOK
LOGIC COLLOQUIUM '69 (1971)
Amsterdam : Noord-Hollandsche U.M
Keywords: DDC 511/.3 ; LC QA248
Pages: xiv, 451 p.
ISBN: 978-0-7204-2261-0
80.
E-BOOK
Word Problems : Decision Problems and the Burnside Problem in Group Theory (1973)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: xii, 646 p.
ISBN: 978-0-7204-2271-9
81.
E-BOOK
Logic in Algebraic Form : Three Languages and Theories (1974)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7 ; Model theory
Pages: vii, 204 p.
ISBN: 978-0-444-10477-9
82.
E-BOOK
Non-Classical Logics, Model Theory, And Computability (1977)
Amsterdam, Netherlands ; New York : North-Holland Pub. Co
Keywords: DDC 511.3 ; LC QA10
Pages: xviii, 307 p.
ISBN: 978-0-7204-0752-5
83.
E-BOOK
Algebra of Proofs (1978)
Amsterdam, Netherlands ; New York : North-Holland Pub. Co
Keywords: DDC 511.3 ; LC QA10
Pages: viii, 297 p.
ISBN: 978-0-7204-2286-3
84.
E-BOOK
The Theory of Semisets (1972)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: 332 p.
ISBN: 978-0-7204-2267-2
85.
E-BOOK
Set Theory : An Introduction to Large Cardinals (1974)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: ix, 351 p.
ISBN: 978-0-444-10535-6
86.
E-BOOK
Generalized Recursion Theory : Proceedings of the 1972 Oslo Symposium (1974)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: v, 456 p.
ISBN: 978-0-444-10545-5
87.
E-BOOK
Logic Colloquium '85 : Proceedings of the Colloquium held in Orsay, France July 1985 (1987)
Amsterdam ; New York : Elsevier
Keywords: DDC 511.3/5 ; LC QA9.6 ; Recursion theory
Pages: xii, 308 p.
ISBN: 978-0-444-70211-1
88.
E-BOOK
Keywords: DDC 511/.3 ; LC QA248
Pages: xiv, 520 p.
ISBN: 978-0-7204-2208-5
89.
E-BOOK
Constructivism in Mathematics : An Introduction (1988)
Amsterdam ; New York : Elsevier
Keywords: DDC 511.3/5 ; LC QA9.6 ; Recursion theory
Pages: xvii, 356 p.
ISBN: 978-0-444-70266-1
90.
E-BOOK
Keywords: DDC 511.3/5 ; LC QA9.6 ; Recursion theory
Pages: viii, 377 p.
ISBN: 978-0-444-87999-8
91.
E-BOOK
Logic Colloquium '86, Proceedings of the Colloquium held in Hull : 13–19 July 1986 (1987)
Amsterdam ; New York : Elsevier
Keywords: DDC 511.3/5 ; LC QA9.6 ; Recursion theory
Pages: vii, 342 p.
ISBN: 978-0-444-70326-2
92.
E-BOOK
Large Infinitary Languages : Model Theory (1975)
Amsterdam, Netherlands ; New York : North-Holland Pub. Co
Keywords: DDC 511.3 ; LC QA10
Pages: xv, 464 p.
ISBN: 978-0-444-10622-3
93.
E-BOOK
Logic Colloquium '80 : Papers intended for the European Summer Meeting of the Association for Symbolic Logic (1982)
Amsterdam ; New York : North-Holland Pub. Co
Keywords: DDC 511/.3 ; LC QA9.6
Pages: vii, 342 p.
ISBN: 978-0-444-86465-9
94.
E-BOOK
The Lambda Calculus : Its Syntax and Semantics (1984)
Amsterdam ; New York : North-Holland Pub. Co
Keywords: DDC 511/.3 ; LC QA9.6
Pages: xv, 621 p.
ISBN: 978-0-444-87508-2
95.
E-BOOK
Keywords: DDC 511/.8 ; LC QA9.7
Pages: viii, 311 p.
ISBN: 978-0-444-85178-9
96.
E-BOOK
Topoi : The Categorial Analysis of Logic (1984)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: xvi, 511 p.
ISBN: 978-0-444-86711-7
97.
E-BOOK
Combinatorial Set Theory (1979)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7 ; Model theory
Pages: x, 208 p.
ISBN: 978-0-7204-0722-8
98.
E-BOOK
Generalized Recursion Theory II : Proceedings of the 1977 Oslo Symposium (1978)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7 ; Model theory
Pages: v, 417 p.
ISBN: 978-0-444-85163-5
99.
E-BOOK
Logic Colloquium '78, Proceedings of the colloquium held in Mons (1979)
Amsterdam ; New York : North-Holland
Keywords: DDC 511/.8 ; LC QA9.7
Pages: vii, 434 p.
ISBN: 978-0-444-85378-3
100.
E-BOOK
Set Theory An Introduction to Independence Proofs (1980)
Amsterdam ; New York : North-Holland Pub. Co
Keywords: DDC 511/.3 ; LC QA9.6
Pages: xvi, 313 p.
ISBN: 978-0-444-85401-8

Top