OPEN EDUCATIONAL RESOURCES

UPA PERPUSTAKAAN UNEJ | NPP. 3509212D1000001

  • Home
  • Admin
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}

Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 53 from your keywords: subject="Mathematical Logic"
First Page Previous 1 2 3 4 5 Next Last Page
cover
The Unknown as an Engine for Science An Essay on the Definite and the Indefi…
Comment Share
PIRNER, Hans J.

This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy. The first part shows how informatio…

Edition
-
ISBN/ISSN
978-3-319-18509-5
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
One Hundred Prisoners and a Light Bulb
Comment Share
DITMARSCH, Hans vanKOOI, Barteld

A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no f…

Edition
1
ISBN/ISSN
978-3-319-16693-3
Collation
IX, 188
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Comment Share
SAMINGER-PLATZ, SusanneMESIAR, Radko

The book is a collection of contributions by leading experts, developed around traditional themes discussed at the annual Linz Seminars on Fuzzy Set Theory. The different chapters have been written by former PhD students, colleagues, co-authors and friends of Peter Klement, a leading researcher and the organizer of the Linz Seminars on Fuzzy Set Theory. The book also includes advanced findings …

Edition
1
ISBN/ISSN
978-3-319-28807-9
Collation
XII, 275
Series Title
Studies in Fuzziness and Soft Computing
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Number Theory: An Introduction via the Density of Primes
Comment Share
FINE, BenjaminROSENBERGER, Gerhard

Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers. This unique approach offers both a firm background in the standard material of number theory, as well as an overview of the entire discipline. All of the essential topics are covered, such as the fundamental theorem of arithmetic, theory of co…

Edition
2
ISBN/ISSN
978-3-319-43873-3
Collation
XIII, 413
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Nonstandard Analysis for the Working Mathematician
Comment Share
LOEB, Peter A.WOLFF, Manfred P. H.

Starting with a simple formulation accessible to all mathematicians, this second edition is designed to provide a thorough introduction to nonstandard analysis. Nonstandard analysis is now a well-developed, powerful instrument for solving open problems in almost all disciplines of mathematics; it is often used as a ‘secret weapon’ by those who know the technique. This book illuminates th…

Edition
1
ISBN/ISSN
978-94-017-7326-3
Collation
XV, 481
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves B…
Comment Share
KOSLOW, ArnoldBUCHSBAUM, Arthur

This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) an…

Edition
-
ISBN/ISSN
978-3-319-15368-1
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Bézi…
Comment Share
KOSLOW, ArnoldBUCHSBAUM, Arthur

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan WoleÅ…

Edition
-
ISBN/ISSN
978-3-319-10193-4
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
New Directions in Paraconsistent Logic:5th WCP, Kolkata, India, February 2014
Comment Share
BEZIAU, Jean-YvesCHAKRABORTY, MihirDUTTA, Soma

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-m…

Edition
1
ISBN/ISSN
978-81-322-2717-5
Collation
XI, 552
Series Title
Springer Proceedings in Mathematics & Statistics
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Writing Proofs in Analysis
Comment Share
KANE, https://link.springer.com/book/10.1007/978-3-319-30967-5#bibliographic-information

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical ind…

Edition
-
ISBN/ISSN
978-3-319-30967-5
Collation
-
Series Title
-
Call Number
-
Availability0
Add to basket
MARC DownloadCite
cover
Recent Trends in Algebraic Development Techniques: 22nd International Worksho…
Comment Share
CODESCU, MihaiDIACONESCU, RazvanTUTU, Lonut

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal …

Edition
-
ISBN/ISSN
978-3-319-28114-8
Collation
-
Series Title
-
Call Number
005.131
Availability0
Add to basket
MARC DownloadCite
First Page Previous 1 2 3 4 5 Next Last Page
OPEN EDUCATIONAL RESOURCES

Search

start it by typing one or more keywords for title, author or subject


Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?