Last 7 Days Catalog Additions

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

45 hits in 0.17 seconds
Refine your search
Years
Select All   Deselect All   Toggle Selection   Add To Mindlist   Mail Export   File Export
feed icon
1.
E-BOOK
added on 2014-10-27
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
2.
E-BOOK
added on 2014-10-27
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
3.
E-BOOK
added on 2014-10-27
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
4.
E-BOOK
added on 2014-10-27
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
added on 2014-10-27
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
added on 2014-10-27
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
7.
E-BOOK
added on 2014-10-27
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
added on 2014-10-27
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
9.
E-BOOK
added on 2014-10-27
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
10.
E-BOOK
added on 2014-10-27
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
11.
E-BOOK
added on 2014-10-27
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
12.
E-BOOK
added on 2014-10-27
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
13.
E-BOOK
added on 2014-10-27
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
14.
E-BOOK
added on 2014-10-27
Keywords: DDC 510/.01 ; LC QA9
Pages: xv, 417 p.
ISBN: 978-0-444-53387-6
15.
E-BOOK
added on 2014-10-27
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
16.
E-BOOK
added on 2014-10-27
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
17.
E-BOOK
added on 2014-10-27
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
18.
E-BOOK
added on 2014-10-27
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
19.
E-BOOK
added on 2014-10-27
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
20.
E-BOOK
added on 2014-10-27
Undecidable Theories (1953)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: ix, 98 p.
ISBN: 978-0-444-53378-4
21.
E-BOOK
added on 2014-10-27
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
22.
E-BOOK
added on 2014-10-27
Keywords: DDC 510/.01 ; LC QA9
Pages: xi, 488 p.
ISBN: 978-0-444-53392-0
23.
E-BOOK
added on 2014-10-27
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
24.
E-BOOK
added on 2014-10-27
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
25.
E-BOOK
added on 2014-10-27
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
26.
E-BOOK
added on 2014-10-27
Recursive Analysis (1961)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 138 p.
ISBN: 978-0-444-53394-4
27.
E-BOOK
added on 2014-10-27
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
added on 2014-10-27
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
29.
E-BOOK
added on 2014-10-27
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
30.
E-BOOK
added on 2014-10-27
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
31.
E-BOOK
added on 2014-10-27
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
32.
E-BOOK
added on 2014-10-27
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
33.
E-BOOK
added on 2014-10-27
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
34.
E-BOOK
added on 2014-10-27
Complete Theories (1956)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 129 p.
ISBN: 978-0-444-53383-8
35.
E-BOOK
added on 2014-10-27
Keywords: DDC 510/.01 ; LC QA9
Pages: v, 124 p.
ISBN: 978-0-444-53372-2
36.
E-BOOK
added on 2014-10-27
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
37.
E-BOOK
added on 2014-10-27
Keywords: DDC 510/.01 ; LC QA9
Pages: vi, 113 p.
ISBN: 978-0-444-53381-4
38.
E-BOOK
added on 2014-10-27
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
39.
E-BOOK
added on 2014-10-27
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
40.
E-BOOK
added on 2014-10-27
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
41.
E-BOOK
added on 2014-10-27
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
42.
E-BOOK
added on 2014-10-27
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
43.
E-BOOK
added on 2014-10-27
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
44.
E-BOOK
added on 2014-10-27
Ordinal Algebras (1956)
Amsterdam : North-Holland Pub. Co
Keywords: DDC 510/.01 ; LC QA9
Pages: iv, 133 p.
ISBN: 978-0-444-53384-5
45.
E-BOOK
added on 2014-10-27
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

Top