1
Published 2021
Springer International Publishing
Table of Contents: ...Introducing Formal Methods to First-Year Students in Three Intensive Weeks -- Online Teaching...

2
by Freyd, Peter J.
Published 1990
North-Holland
Table of Contents: ...Front Cover; Categories, Allegories, Volume 39; Copyright Page; PREFACE; CONTENTS (and introduced...

3
by Mendes, Anthony, Remmel, Jeffrey
Published 2015
Springer International Publishing
... and also highlight many interesting mathematical ideas. The text begins by introducing fundamental...

4
by Incurvati, Luca
Published 2020
Cambridge University Press
... and shortcomings, as well as introducing the fundamentals of the alternative set theories with which...

5
by Gehrke, Mai, Gool, Sam van
Published 2024
Cambridge University Press
...Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer...

6
by Shallit, Jeffrey Outlaw
Published 2023
Cambridge University Press
..., by introducing a decision method through which many new results in combinatorics and number theory can...

7
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... (Introducing a Method) -- Subsums of a Finite Sum and Extremal Sets of Vertices of the Hypercube...

8
by Rudolph, Michael
Published 2022
Cambridge University Press
... an approach to overcoming these limitations by introducing operator graph theory, an exact, non-asymptotic set...

9
by Daepp, Ulrich, Gorkin, Pamela
Published 2003
Springer New York
Table of Contents: ...The How, When, and Why of Mathematics -- Logically Speaking -- Introducing the Contrapositive...

10
by López, Susana C., Muntaner-Batle, Francesc A.
Published 2017
Springer International Publishing
... and techniques are presented introducing readers to links between graph labels. A variety of useful techniques...

11
by Cvetković, Dragoš M., Rowlinson, Peter, Simić, S.
Published 1997
Cambridge University Press
... geometrical invariants of eigenspaces such as graph angles and main angles, and introducing certain kinds...

12
by Dobson, Ted, Malnič, Aleksander, Marušič, D.
Published 2022
Cambridge University Press
... with the basic material before introducing the field's major problems and most active research themes in order...

13
by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Published 2009
Springer Netherlands
... such as Hilbert and Gentzen systems, introducing both theoretical and practical applications...

14
by Crossley, John N.
Published 1965
North-Holland
Table of Contents: ... for producing reduction types in the restricted lower predicate calculus / H. Hermes, D. Rödding...

15
by Shelah, S.
Published 1982
Springer Berlin Heidelberg
Table of Contents: ...Introducing forcing -- The consistency of CH (the continuum hypothesis) -- On the consistency...

16
by Golomb, Solomon W., Liu, Andy
Published 2021
Springer International Publishing
.... Solomon Golomb’s Course on Undergraduate Combinatorics is ideal for introducing mathematics students...

17
by Daepp, Ulrich, Gorkin, Pamela
Published 2011
Springer New York
Table of Contents: ...-Preface. -1. The How, When, and Why of Mathematics -- 2. Logically Speaking -- 3.Introducing...

18
by Haynes, Teresa W., Hedetniemi, Stephen T., Henning, Michael A.
Published 2023
Springer International Publishing
Table of Contents: ... gamma) and other dominating partitions, including the newly introduced Upper Domatic Number -- 21...

19
by Foulds, L. R.
Published 1984
Springer New York
...The major purpose of this book is to introduce the main concepts of discrete optimization problems...

20
by Evans, Anthony B.
Published 2018
Springer International Publishing
... by introducing fundamental concepts, like the tests for determining whether a latin square is based on a group...