1
Published 1996
Springer US
.... The most widely reported results were, of course, the proof of the Four Color Theorem and the proof...

2
by Thiemann, Matthias
Published 2024
Cambridge University Press
... were wary of intervening in a discretionary manner and policymakers were opposed to measures to limit...

3
by Kopytov, V.M., Medvedev, N.Ya
Published 1994
Springer Netherlands
... of a partially ordered set which are connected in some natural way. These connections were established...

4
Published 1985
Springer Netherlands
... the principal lectures were delivered by G. Birkhoff, O. Ore and M.H. Stone. In those days the theory of ordered...

5
by Fujie, Futaba, Zhang, Ping
Published 2014
Springer New York
...-known mathematicians who were involved in these problems. The concepts of different spanning walks...

6
by Takeuti, G., Zaring, W.M.
Published 1982
Springer New York
... main objectives were to cover Godel's work on the con­ sistency of the Axiom of Choice (AC...

7
Published 1969
Springer Berlin Heidelberg
... of the publication of his theorems on undecidability were celebrated during the 75th Anniversary Meeting of the Ohio...

8
Published 2003
Springer Berlin Heidelberg
... with the greatest impact. Papers and poster presentations were sought in all areas that relate to b- molecular...

9
Published 2002
Springer Berlin Heidelberg
...The papers contained in this volume were presented at the 13th Annual S- posium on Combinatorial...

10
by Barton, Neil
Published 2024
Cambridge University Press
... people, these were solved by the iterative conception of set which holds that sets are formed in stages...

11
by Bolc, Leonard, Borowik, Piotr
Published 1992
Springer Berlin Heidelberg
...Many-valued logics were developed as an attempt to handle philosophical doubts about the "law...

12
by Sagan, Bruce, Stanley, Richard
Published 1998
Birkhäuser
... to algebraic topology. This volume is a collection of articles written in Rota's honor. Some of them were...

13
Published 1994
Birkhäuser
... Gautschi - were invited to present articles at the conference, their lectures providing an approximately...

14
by Montalbán, Antonio
Published 2021
Cambridge University Press
... together with many older results that were previously scattered across the literature and presents them all...

15
Published 2018
Springer New York
... participants. In total there were 27 talks, delivered by well-established mathematicians and young researchers...

16
by Bimbó, Katalin
Published 2015
CRC Press, Taylor & Francis Group
... they should be. Sequent calculi were designed as a theoretical framework for investigations of logical...

17 ...Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible...

18
Published 2016
Springer International Publishing
... comprehension and enthusiasm. The editors were inspired to create these volumes by the popular and well attended...

19
Published 2021
Springer International Publishing
... edition – which were merged this year – of the CSD&M conference that took place in Beijing, People’s...

20
Published 1983
Cambridge University Press
..., whereby several distinguished mathematicians were invited to give a survey lecture and to write a paper...