Results 1 to 15 of 24

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$123.00
  • NZ$127.83
Available in Approx 5 days
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$59.99
  • NZ$63.48
Available in Approx 5 days
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$261.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$197.00
  • NZ$200.87
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$79.00
  • NZ$82.61
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$187.00
  • NZ$190.43
Available in Approx 14 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.91
Available in Approx 5 days
add to your cart

Formal Logic

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

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

  • AU$79.00
  • NZ$83.48
Not Yet Published - See Pub Date for expected date
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$302.00
  • NZ$309.57
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$237.00
  • NZ$242.61
Available in Approx 14 days
add to your cart

E-recursion, Forcing And C*-algebras

by Chitat Chong, Theodore A Slaman And W Hugh Woodin World Scientific
Pub Date:
05/2014
ISBN:
9789814603256
Format:
Pb+ 228 pages

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian...

  • AU$53.99
  • NZ$56.52
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$86.00
  • NZ$86.09
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$169.00
  • NZ$173.04
Not Yet Published - See Pub Date for expected date
add to your cart

Forcing For Mathematicians

by Nik Weaver World Scientific
Pub Date:
01/2014
ISBN:
9789814566001
Format:
Hbk 152 pages

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the...

  • AU$112.00
  • NZ$114.78
Available in Approx 14 days
add to your cart

Infinity And Truth

by Chitat Chong, Theodore A Slaman And W Hugh Woodin World Scientific
Pub Date:
12/2013
ISBN:
9789814571036
Format:
Hbk 244 pages

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences,...

  • AU$119.00
  • NZ$120.00
Available in Approx 14 days
add to your cart
Page 1 of 2 Top