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$50.43
In Stock Now
add to your cart

Proceedings Of The 14th And 15th Asian Logic Conferences

by Byunghan Kim, Jorg Brendle and Liang Yu World Scientific
Pub Date:
03/2019
ISBN:
9789813237544
Format:
Hbk 200 pages

  • AU$197.00
  • NZ$204.35
Not Yet Published - See Pub Date for expected date
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$233.00
  • NZ$242.61
Available in Approx 14 days
add to your cart

Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles

by Chitat Chong, Theodore A Slaman And W Hugh Woodin World Scientific
Pub Date:
07/2014
ISBN:
9789814612616
Format:
Hbk 232 pages

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles,...

  • AU$84.00
  • NZ$86.09
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$166.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$47.82
Available in Approx 14 days
add to your cart

Making Up Your Own Mind: Thinking Effectively through Creative Puzzle-Solving

by Edward Burger Princeton University Press
Pub Date:
10/2018
ISBN:
9780691182780
Format:
Hbk 128 pages

How you can become better at solving real-world problems by learning creative puzzle-solving skills We solve countless...

  • AU$37.99
  • NZ$39.12
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$58.99
  • NZ$62.61
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$49.99
  • NZ$53.04
Available in Approx 5 days
add to your cart

Formal Logic

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

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

  • AU$77.00
  • NZ$80.87
In Stock Now
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$257.00
  • NZ$266.96
Available in Approx 14 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$81.74
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$119.00
  • NZ$126.09
Available in Approx 5 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$193.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$184.00
  • NZ$190.43
Available in Approx 14 days
add to your cart
Page 1 of 2 Top