The Parametric Lambda...
Simona Ronchi Della Rocca,
Luca Paolini
Buy new from $47.63
eBook from $16.50
|
A Profile of Mathematical...
Howard DeLong
Buy new from $14.14
eBook from $21.95
|
Reductive Logic and Proof...
David J Pym,
Eike Ritter
Buy new from $128.34
eBook from $100.10
|
Interactive Theorem Proving...
Yves Bertot,
G Huet (Foreword by)
Buy new from $112.72
eBook from $27.00
|
The Birth of Model Theory: L...
Calixto Badesa
Buy new from $80.51
eBook from $110.00
|
Practical Foundations of...
Haim Kilov (Editor),
Ken Baclavski (Editor)
Buy new from $159.69
eBook from $47.70
|
Lattice-Valued Logic: An...
Yang Xu,
Da Ruan
Buy new from $159.69
eBook from $47.70
|
Problems in Set Theory,...
Igor Lavrov,
G Corsi (Editor)
Buy new from $103.32
eBook from $29.70
|
Lectures in Logic and Set...
George Tourlakis
Buy new from $121.57
eBook from $65.60
|
Lectures in Logic and Set...
George Tourlakis
Buy new from $90.72
eBook from $48.80
|
Limit Theorems and...
Shoumei Li,
Y Ogura
Buy new from $61.09
eBook from $29.70
|
Probabilistic Logic in a...
Giulianella Coletti,
R Scozzafava
Buy new from $92.23
eBook from $29.70
|
Paradox and Paraconsistency:...
John Woods
Buy new from $67.75
eBook from $28.80
|
Handbook of the Logic of...
Dov M Gabbay,
John Woods
Buy new from $66.32
eBook from $146.00
|
Boolean Functions and...
Peter Clote,
Evangelos Kranakis
Buy new from $39.53
eBook from $25.50
|
Model Theory: An Introduction
David Marker
Buy new from $61.00
eBook from $18.00
|
Agent-Based Defeasible...
John-Jules Ch Meyer (Editor),
Jan Treur (Editor)
Buy new from $206.66
eBook from $62.70
|
An Introduction to...
Peter B Andrews
Buy new from $131.50
eBook from $26.70
|
The Semantics and Proof...
David J Pym
Buy new from $159.69
eBook from $47.70
|
Internal Logic: Foundations...
Y Gauthier
Buy new from $103.32
eBook from $29.70
|
Towards Efficient Fuzzy...
Chongfu Huang,
Yong Shi
Buy new from $103.32
eBook from $29.70
|
Dynamics and Management of...
John-Jules Ch. Meyer (Editor),
Jan Treur (Editor)
Buy new from $103.32
eBook from $29.70
|
Serial Rings
G Puninski
Buy new from $51.65
eBook from $16.50
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy new from $51.65
eBook from $16.50
|
