古書買取について

探求書

新着商品を見る


分野から選択

169件の商品がみつかりました。

A Short Introduction to Intuitionistic Logic (Hard)
Grigori Mints
The University Series in Mathematics
Kluwer Academic Publishers
少日焼け汚れ。カバー擦れ。本文概ね良好。
￥8,000
Relevant Logic : A Philosophical Examination of Inference
Stephen Read
Blackwell
日焼け。カバー擦れ。本文概ね良好。
￥12,000
Introduction to HOL
A Theorem Proving Environment for Higher-Order Logic
M.J.C. Gordon & T.F. Melham
Cambridge University Press
リング製本。少日焼け汚れ。表紙擦れ折れ傷み。本文概ね良好。
￥5,000
Introduction to Mathematical Logic (Soft)
Alonzo Church
Princeton Landmarks in Mathematics and Physics
Princeton University Press
擦れ・傷・反り有、天・地・小口シミ・汚れ有、本文反り＆角折れ・傷有
￥4,000
Introduction to Metamathematics (Hard)
(英) 超数学入門（メタ数学入門）
S.C. Kleene (クリーネ)
Bibliotheca Mathematica 1／Tokyo Univ. International Edition 42
University of Tokyo Press
カバー破れ・ヨレ有、日焼け有、擦れ有、少汚れ有、少反り有、書込み有…
￥3,000
Institution-independent Model Theory
Razvan Diaconescu
Studies in Universal Logic
BIRKHAUSER VERLAG
少汚れ擦れ。本文概ね良好。
￥4,500
Arithmetic, Proof Theory, and Computational Complexity
P. Clote & J. Krajicek (Eds.)
Oxford Logic Guides 23
Oxford University Press
ヤケシミ有、少汚れ有、少反り有、表紙角つぶれ・背汚れ有、遊び頁印消…
￥2,500
Perspectives on the History of Mathematical Logic (Soft)
Thomas Drucker (Ed.)
Modern Birkhauser Classics
BIRKHAUSER VERLAG
少ヤケシミ、擦れ有。カド反り有。三方(天小口底)少汚れ有。小口カド…
￥3,500
Handbook of Logic and Language : 1st Edition
Johan van Benthem & A. Ter Meulen (Eds.)
North-Holland
表紙少擦れ。本文概ね良好。
￥5,500
The Complexity of Boolean Functions
Ingo Wegener
Wiley-Teubner Series in Computer Science
WILEY
日焼けシミ。表紙汚れ。本文概ね良好。
￥6,000
Godel’s Theorem in Focus (Soft)
Stuart Shanker (Ed.)
Philosophers in Focus Series
Croom Helm Ltd.
強い日焼けシミ。カド擦れ。見開き～目次／索引～見返しページにシミ汚…
￥2,500
Foundational Studies : Selected Works : Vol.1-2
Andrzej Mostowski
Studies in Logic and the Foundations of Mathematics 93
North-Holland
日焼け汚れ甚大。表紙擦れ・キズ・剥げ箇所有。本文日焼け・シミ箇所有…
￥15,000
David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917-1933
David Hilbert's Foundational Lectures
David Hilbert / William Ewald & Wilfried Sieg (Eds.)
David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933 : Vol.3
SPRINGER-VERLAG
小口少汚れ。カド擦れ。見開きノド部少割れ傷み。本文概ね良好。
￥20,000
Degrees of Unsolvability (Soft)
Joseph R. Shoenfield
North-Holland Mathematics Studies 2
North-Holland
強い日焼け。カド擦れ折れ傷み。本文日焼け箇所あるも概ね良好。
￥3,500
Executing Temporal Logic Programs
Ben Moszkowski
Cambridge University Press
日焼け汚れ。カド擦れ。本文概ね良好。
￥2,500
Georg Cantor und sein Unendlichkeitsbegriff.
Auseinandersetzung mit Mathematikern und Philosophen des 19. und 20. Jahrhunderts
(独) ゲオルク・カントールと無限の概念
Anonym
Geisteswissenschaft / Bachelorarbeit
GRIN Verlag
カド少擦れ。表紙少ベトつき有。本文概ね良好。
￥1,500
Alfred Tarski : Collected Papers : Vol.3
1945-1957
(洋) アルフレッド・タルスキー著作集
Alfred Tarski / Steven R. Givant & Ralph N. McKenzie (Eds.)
BIRKHAUSER VERLAG
英語・独語(主に英語)。裸本。少汚れ。底部少キズ有。本文概ね良好。
￥16,000
Godel’s Incompleteness Theorems
(英) ゲーデルの不完全性定理
Raymond M. Smullyan (スマリヤン)
Oxford Logic Guides 19
Oxford University Press
少日焼け汚れ。表紙擦れ。本文概ね良好。
￥8,000
Theory of Formal Systems
R.M. Smullyan
Annals of Mathematics Studies 47
Princeton University Press
カド擦れ。本文概ね良好。
￥3,000
Automated Proof Search in Non-Classical Logics
Efficient Matrix Proof Methods for Modal and Intuitionistic Logics
( Automated Deduction in Nonclassical Logics )
Lincoln A. Wallen
MIT Press
日焼け汚れ。カバー擦れ・端破れ。本文概ね良好。
￥1,200