你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

    You are in:
  1. Home 
  2. Books 
  3. 1 Mathematics and sciences  Mathematics  Mathematical foundations  Mathematical logic

Mathematical logic Books

We found 28 Books for b

Making up Your own Mind: Thinking Effectively Through Creative Puzzle-Solving

Making up Your own Mind: Thinking Effectively Through Creative Puzzle-Solving

Burger, Edward B.
Princeton University Press, 2018, Hardcover, New

NT$ 907
Elements of set Theory

Elements of set Theory

Herbert B. Enderton
Academic Press, 1977, 1 edition, Hardcover, New

NT$ 2,436
Universal Algebra, Algebraic Logic, and Databases

Universal Algebra, Algebraic Logic, and Databases

Plotkin, B.
Springer, Paperback, New

NT$ 3,355
on formally undecidable propositions of principia mathematica and related systems

on formally undecidable propositions of principia mathematica and related systems

kurt godel,b. (trn) meltzer
Dover Publications, 1992, New

NT$ 477
an introduction to mathematical logic and type theory: to truth through proof

an introduction to mathematical logic and type theory: to truth through proof

Andrews, Peter B.
Springer, 2010, Paperback, New

NT$ 3,083
applications of point set theory in real analysis

applications of point set theory in real analysis

kharazishvili, a. b.
springer, 2010, New

NT$ 3,355
an introduction to mathematical logic and type theory: to truth through proof

an introduction to mathematical logic and type theory: to truth through proof

andrews, peter b.
springer, 2002, New

NT$ 4,285
Sheaf Theory Paperback (London Mathematical Society Lecture Note Series)

Sheaf Theory Paperback (London Mathematical Society Lecture Note Series)

Tennison, B. R.
Cambridge University Press, 1975, 1 edition, Paperback, New

NT$ 3,755
the philosophy of michael dummett

the philosophy of michael dummett

mcguinness, b. f.
springer, 2010, New

NT$ 5,039
Logic - Language - Ontology: Selected Works

Logic - Language - Ontology: Selected Works

Wybraniec-Skardowska, Urszula B.
Birkhauser, Hardcover, New

NT$ 4,715
Logic - Language - Ontology: Selected Works

Logic - Language - Ontology: Selected Works

Wybraniec-Skardowska, Urszula B.
Birkhauser, Paperback, New

NT$ 4,715
foundations of mathematics: questions of analysis, geometry & algorithmics

foundations of mathematics: questions of analysis, geometry & algorithmics

Thomas, C. B. ; Engeler, Erwin
Springer, 2011, Paperback, New

NT$ 1,860
Introduction to Lattices and Order

Introduction to Lattices and Order

Davey, B. A. ; Priestley, H. A.
Cambridge University Press, 2002, Paperback, New

NT$ 2,471
systems and software verification

systems and software verification

Berard, B. ; McKenzie, P. ; Bidoit, M.
Springer, Paperback, New

NT$ 4,715
a course in mathematical logic for mathematicians

a course in mathematical logic for mathematicians

Koblitz, Neal ; Zilber, B. ; Manin, Yu I.
Springer, 2012, Paperback, New

NT$ 2,314
The Infinite in Mathematics: Logico-Mathematical Writings

The Infinite in Mathematics: Logico-Mathematical Writings

Kaufmann, Felix ; McGuinness, B. F. ; Foulkes, Paul
Springer, Paperback, New

NT$ 4,987
Computability in Analysis and Physics (Perspectives in Logic)

Computability in Analysis and Physics (Perspectives in Logic)

Marian B. Pour-El; J. Ian Richards
Cambridge University Press, 2017, 1 edition, Hardcover, New

NT$ 6,091
Computer Algebra: Symbolic and Algebraic Computation

Computer Algebra: Symbolic and Algebraic Computation

Albrecht, R. ; Buchberger, B. ; Collins, G. E.
Springer, Paperback, New

NT$ 1,860
Finite and Infinite Combinatorics in Sets and Logic

Finite and Infinite Combinatorics in Sets and Logic

Sauer, Norbert W. ; Woodrow, R. E. ; Sands, B.
Springer, Paperback, New

NT$ 9,338
Fuzzy Algorithms for Control

Fuzzy Algorithms for Control

Verbruggen, H. B. ; Zimmermann, Hans-Jürgen ; Babuska, Robert
Springer, Paperback, New

NT$ 3,355
mural: a formal development support system

mural: a formal development support system

Bicarregui, J. ; Jones, C. B. ; Jones, K. D.
Springer, 1991, Paperback, New

NT$ 1,860
5th refinement workshop: proceedings of the 5th refinement workshop, organised by bcs-facs, london, 8-10 january 1992

5th refinement workshop: proceedings of the 5th refinement workshop, organised by bcs-facs, london, 8-10 january 1992

Jones, Cliff B. ; Shaw, Roger C. ; Denvir, Tim
Springer, 1993, Paperback, New

NT$ 1,860
Cellular Automata and Discrete Complex Systems: 25th Ifip Wg 1.5 International Workshop, Automata 2019, Guadalajara, Mexico, June 26-28, 2019, Proceed

Cellular Automata and Discrete Complex Systems: 25th Ifip Wg 1.5 International Workshop, Automata 2019, Guadalajara, Mexico, June 26-28, 2019, Proceed

Castillo-Ramirez, Alonso ; de Oliveira, Pedro P. B.
Springer, Paperback, New

NT$ 1,860
The Foundations of Mathematics and Other Logical Essays

The Foundations of Mathematics and Other Logical Essays

Ramsey, Frank Plumpton ; Braithwaite, R. B.
Martino Fine Books, Paperback, New

NT$ 1,027
a transition to abstract mathematics,mathematical thinking and writing

a transition to abstract mathematics,mathematical thinking and writing

randall b. maddox
academic pr, New

NT$ 2,635
notations for software design

notations for software design

Feijs, Loe M. G. ; Jonkers, Hans B. M. ; Middelburg, Cornelis a.
Springer, 1994, Paperback, New

NT$ 1,860
the functional interpretations of logical deduction

the functional interpretations of logical deduction

ruy j. g. b. de queiroz
world scientific pub co inc, 2011, New

NT$ 4,561
Computability, Enumerability, Unsolvability Paperback: Directions in Recursion Theory (London Mathematical Society Lecture Note Series)

Computability, Enumerability, Unsolvability Paperback: Directions in Recursion Theory (London Mathematical Society Lecture Note Series)

Cooper, S. B. ; Slaman, T. A. ; Wainer, S. S.
Cambridge University Press, 1996, 1 edition, Paperback, New

NT$ 2,953