Results 1 to 15 of 24

Beginner's Further Guide To Mathematical Logic

by Raymond M Smullyan World Scientific
Pub Date:
11/2016
ISBN:
9789814725729
Format:
Pb+ 288 pages

  • AU$47.99
  • NZ$51.30
Temporarily Out of Stock
add to your cart

Logical Properties Of Natural Language: Eliminating The Universe

by Edward L Keenan World Scientific
Pub Date:
08/2018
ISBN:
9789814719834
Format:
Hbk 250 pages

This book synthesizes the author's work (1980s-2015) on the logical expressive power of natural language. It extends the tools...

  • AU$209.00
  • NZ$219.13
Not Yet Published - See Pub Date for expected date
add to your cart

Predicative Arithmetic (Mn-32):

by Edward Nelson Princeton Legacy Library
Pub Date:
11/1986
ISBN:
9780691610290
Format:
Pb+ 200 pages

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's...

  • AU$61.00
  • NZ$62.61
Available in Approx 5 days
add to your cart

Formal Logic

by Paul Gregory Broadview Press
Pub Date:
07/2017
ISBN:
9781554812721
Format:
Pbk 470 pages

Formal Logic is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book’s...

  • AU$77.00
  • NZ$81.74
Temporarily Out of Stock
add to your cart

Meaning, Logic And Ludics

by Alain Lecomte Imperial College Press
Pub Date:
03/2011
ISBN:
9781848164567
Format:
Hbk 388 pages

This book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics...

  • AU$254.00
  • NZ$266.96
Available in Approx 14 days
add to your cart

Diamond: A Paradox Logic 2ed

by Nathaniel S Hellerstein World Scientific
Pub Date:
01/2010
ISBN:
9789814287135
Format:
Hbk 312 pages

This book is about “diamond”, a logic of paradox. In diamond, a statement can be true yet false; an “imaginary” state, midway...

  • AU$191.00
  • NZ$200.87
Available in Approx 14 days
add to your cart

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

by Yue Yang, Toshiyasu Arai And Guohua Wu World Scientific
Pub Date:
08/2011
ISBN:
9789814360531
Format:
Hbk 192 pages

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every...

  • AU$182.00
  • NZ$190.43
Available in Approx 14 days
add to your cart

Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012

by Yongming Li, Guojun Wang And Bin Zhao World Scientific
Pub Date:
04/2012
ISBN:
9789814401524
Format:
Hbk 724 pages

The QL&SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches,...

  • AU$339.00
  • NZ$356.52
Available in Approx 14 days
add to your cart

Theory of Formal Systems. (AM-47)

by Raymond M. Smullyan Princeton University Press
Pub Date:
04/1961
ISBN:
9780691080475
Format:
Pbk 156 pages

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive...

  • AU$124.00
  • NZ$126.09
Available in Approx 5 days
add to your cart

Two Applications of Logic to Mathematics

by Gaisi Takeuti Princeton University Press
Pub Date:
03/2015
ISBN:
9780691610221
Format:
Pb+ 148 pages

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical...

  • AU$51.99
  • NZ$53.04
Available in Approx 5 days
add to your cart

Introduction To Mathematical Logic

by Michal Walicki World Scientific
Pub Date:
12/2011
ISBN:
9789814343879
Format:
Pb+ 280 pages

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only...

  • AU$78.00
  • NZ$82.61
Available in Approx 14 days
add to your cart

Proceedings Of The 12th Asian Logic Conference

by Byunghan Kim, Jorg Brendle And Robert Goldblatt World Scientific
Pub Date:
05/2013
ISBN:
9789814449267
Format:
Hbk 348 pages

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents...

  • AU$231.00
  • NZ$242.61
Available in Approx 14 days
add to your cart

Truth And Assertibility

by Nik Weaver World Scientific
Pub Date:
04/2015
ISBN:
9789814619950
Format:
Hbk 204 pages

The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It...

  • AU$164.00
  • NZ$172.17
Available in Approx 14 days
add to your cart

Reflections: The Magic, Music And Mathematics Of Raymond Smullyan

by Raymond M Smullyan World Scientific
Pub Date:
04/2015
ISBN:
9789814663199
Format:
Pb+ 224 pages

This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician,...

  • AU$44.99
  • NZ$52.17
Available in Approx 14 days
add to your cart

Functional Interpretations: From The Dialectica Interpretation To Interpretations Of Classical And Constructive Set Theory

by Justus Diller World Scientific
Pub Date:
05/2018
ISBN:
9789814551397
Format:
Hbk 250 pages

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back...

  • AU$165.00
  • NZ$173.04
Not Yet Published - See Pub Date for expected date
add to your cart
Page 1 of 2 Top