1
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...

2
by Bridges, Douglas S., Vita, Luminita Simona
Published 2006
Springer New York
... to spread the message that doing mathematics constructively is interesting and challenging, and produces new...

3
by Ribenboim, Paulo
Published 1996
Springer New York
Table of Contents: ...IV. Prime-Producing Polynomials -- 4 How Are the Prime Numbers Distributed? -- I. The Growth of ?(x...

4
Published 2015
Springer International Publishing
Table of Contents: ... Ciphers (A. Alhamdan, H. Bartlett, E. Dawson, L. Simpson, K. Koon-Ho Wong) -- Producing Fuzzy Includion...

5
by Kitainik, Leonid
Published 1993
Springer Netherlands
Table of Contents: .... Adjusting Crisp Choice -- 14.2. Producing New Choice Rules (Fnmzs And Dipole Decomposition) -- 15...

6
by Kim, Byunghan
Published 2014
Oxford University Press
... and structures has been produced. This book starts with the introduction of the fundamental notions of dividing...

7
by Gerla, G.
Published 2001
Springer Netherlands
... logic: in the former logics one always uses a "crisp" deduction apparatus, producing crisp sets...

8
by Dodd, A.
Published 1982
Cambridge University Press
... to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model...

9
by Gabbay, Dov M.
Published 2007
North Holland

10
Published 1994
Springer Netherlands
... logicians, like Lesniewski, Lukasiewicz and Tarski, produced several works related to philosophical logic, a...

11
by Steel, J. R.
Published 2016
Cambridge University Press
... this theory so that it can produce core models having Woodin cardinals, a large cardinal hypothesis...

12
by Terras, Audrey
Published 2011
Cambridge University Press
... Cayley and Schreier graphs. Then non-isomorphic simple graphs with the same zeta are produced, showing...

13
by Novaes, Catarina Dutilh
Published 2012
Cambridge University Press
...Formal languages are widely regarded as being above all mathematical objects and as producing a...

14
by Brešar, Boštjan, Henning, Michael A., Klavžar, Sandi, Rall, Douglas F.
Published 2021
Springer International Publishing
.... They collaboratively produce a special structure in the underlying host graph, namely a dominating set. The two players...

15
by Ausiello, G.
Published 1985
North-Holland
... of research contributions in graph theory had been produced, which laid the foundations for most...

16
by Ovchinnikov, Sergei
Published 2011
Springer New York
... graphs. This branch of graph theory has developed rapidly during the past three decades, producing...

17
by Fujie, Futaba, Zhang, Ping
Published 2014
Springer New York
... works for several well-known Hamiltonian concepts and produce interesting new results...

18
by Zhang, Ping
Published 2015
Springer International Publishing
... on the property demanded of the vertex coloring produced. For each edge coloring introduced, background...

19
by Petry, Frederick E.
Published 1996
Springer US
... to produce this survey. In this introduction we will describe briefly how fuzzy databases fit...

20
Published 2019
Springer Berlin Heidelberg
... have produced new subfields in many areas, and his outstanding scientific work has defined and shaped...