Cover Image
Read Now

1
by Plumpton, C., Perry, R. L., Shipton, E.
Published 1984
Macmillan Education UK
Table of Contents: “... out a proof -- Some common fallacies and errors -- Multiple choice examples -- The use of English...”
Cover Image
Read Now

2
by Mortensen, C.E.
Published 1995
Springer Netherlands
“... or relevant logics have to be based on inconsistent mathematics. If the latter turns out to be reasonably rich...”
Cover Image
Read Now

3
by Nabi-Abdolyousefi, Marzieh
Published 2014
Springer International Publishing
Table of Contents: “... Knock-out -- A Sieve Method for Consensus-Type Network Tomography -- Network Identification via Graph...”
Cover Image
Read Now

4
by Bishop, E., Bridges, Douglas
Published 1985
Springer Berlin Heidelberg
“...This work grew out of Errett Bishop's fundamental treatise 'Founda­ tions of Constructive Analysis...”
Cover Image
Read Now

5
by Frieze, Alan, Karoński, Michał
Published 2015
Cambridge University Press
Table of Contents: “.... Mappings; 16. k-out; 17. Real-world networks; 18. Weighted graphs; 19. Brief notes on uncovered topics...”
Cover Image
Read Now

6
by Leblanc, Hugues
Published 1973
North-Holland
Table of Contents: “... Deviations; Chapter 2. Quantifying in and out of Quotes; Chapter 3. Restricted Quantification and Conditional...”
Cover Image
Read Now

7
Published 2018
Birkhäuser
“... chapters branch out from those areas into subfields of theoretical computer science, such as complexity...”
Cover Image
Read Now

8
Published 1999
Springer Netherlands
Table of Contents: “...1. Operations, Collections and Sets within a General Axiomatic Framework -- 2. Some Ins and Outs...”
Cover Image
Read Now

9
by Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published 1994
Springer New York
“...? To what extent can machines carry out mathe­ matical proofs? Only in this century has there been success...”
Cover Image
Read Now

10
by Hinman, Peter G.
Published 2016
Cambridge University Press
“... for years, but they are now in print once again. The theory set out in this volume, the ninth publication...”
Cover Image
Read Now

11
by Yap, H. P.
Published 1986
Cambridge University Press
“... course. The author sets out the main recent results in several areas of current research in graph theory...”
Cover Image
Read Now

12
by Font, Josep Maria, Jansana, Ramón
Published 2016
Cambridge University Press
“... systematized account of some of the work on the algebraic study of sentential logics carried out by the logic...”
Cover Image
Read Now

13
by Pohlers, Wolfram
Published 1989
Springer Berlin Heidelberg
“... are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge...”
Cover Image
Read Now

14
by Antoniou, G.
Published 1997
MIT Press
“... for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving...”
Cover Image
Read Now

15
by Haynes, Teresa W., Hedetniemi, Stephen T., Henning, Michael A.
Published 2023
Springer International Publishing
“... or domination algorithms and complexity. The authors set out to provide the community with an updated...”
Cover Image
Read Now

16
Published 1980
Cambridge University Press
“... `computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch...”
Cover Image
Read Now

17
by Goldblatt, Robert
Published 2011
Cambridge University Press
“... the Kripkean interpretation of quantification. The theory is worked out for systems with quantifiers ranging...”
Cover Image
Read Now

18
by Chartrand, Gary, Haynes, Teresa W., Henning, Michael A., Zhang, Ping
Published 2019
Springer International Publishing
“... out of research topics investigated by Stephen Hedetniemi. The purpose of this book is to provide...”
Cover Image
Read Now

19
by Lucchesi, Cláudio L., Murty, U.S.R.
Published 2024
Springer Nature Switzerland
“..., and also to unify the existing theory and point out new avenues to explore so as to make it attractive...”
Cover Image
Read Now

20
by Whittaker, E. T., Watson, G. N.
Published 2021
Cambridge University Press
“... and engineers since its first appearance in 1902. Never out of print, its continuing value lies in its thorough...”