Cover Image
Read Now

1
by Cameron, Peter J.
Published 2017
Cambridge University Press
Cover Image
Read Now

2
by Moschovakis, Yiannis
Published 2006
Springer New York
Cover Image
Read Now

3
by Moschovakis, Yiannis
Published 1994
Springer New York
“... sets, I have tried to do justice to both aspects of the subject. From straight set theory, these Notes...”
Cover Image
Read Now

4
Published 2012
Springer New York
“... consist of notes from graduate courses associated with the program: Felipe Cano on a new proof...”
Cover Image
Read Now

6
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... theory on strongly ?2 inadmissible ordinals -- Applications of the low-basis theorem in arithmetic...”
Cover Image
Read Now

7
by Yap, Hian Poh
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... of low degree -- Graphs of high degree -- Classification of type 1 and type 2 graphs -- Total chromatic...”
Cover Image
Read Now

8
Published 2023
Springer Nature Switzerland
Table of Contents: “... and Training in Formalisation with B -- Teaching low-code Formal Methods with Coloured Petri Nets...”
Cover Image
Read Now

9
by Petreschi, Rosella, Persiano, Giuseppe, Silvestri, Riccardo
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... in Complexity Theory -- Invited Talks -- Cache-Oblivious Algorithms -- Spanning Trees with Low Maximum/Average...”
Cover Image
Read Now

10
Published 1999
Cambridge University Press
Table of Contents: “... theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity...”
Cover Image
Read Now

11
by Herrlich, Horst
Published 2006
Springer Berlin Heidelberg
“...Lecture Notes in Mathematics...”
Cover Image
Read Now

12
Published 2006
Springer Berlin Heidelberg
“...Lecture Notes in Mathematics...”
Cover Image
Read Now

13
by Fruchard, Augustin, Schafke, Reinhard
Published 2013
Springer Berlin Heidelberg
“...Lecture Notes in Mathematics...”
Cover Image
Read Now

14
by Siefkes, Dirk
Published 1970
Springer Berlin Heidelberg
“...Lecture Notes in Mathematics...”
Cover Image
Read Now

15
Published 1970
Springer Berlin Heidelberg
“...Lecture Notes in Mathematics...”
Cover Image
Read Now

16
Published 1973
Springer Berlin Heidelberg
Table of Contents: “...'s methods for intuitionistic systems -- Notes on intuitionistic second order arithmetic -- Some properties...”
Cover Image
Read Now

17
by Löb, Martin H.
Published 1968
Springer Berlin Heidelberg
“...Lecture Notes in Mathematics...”
Cover Image
Read Now

18
Published 1968
Springer Berlin Heidelberg
Table of Contents: “... of infinitary languages -- Remarks on the theory of geometrical constructions -- Note on admissible ordinals...”
Cover Image
Read Now

19
Published 1978
Springer Berlin Heidelberg
Table of Contents: “..., line graphs, and total graphs -- The cartesian product of two graphs is stable -- A note on a...”
Cover Image
Read Now

20
Published 1975
Springer Berlin Heidelberg
“...Lecture Notes in Mathematics...”