US$4.99 US$67.00

Logic Symposia, Hakone, 1979, 1980

Title (user) : Logic Symposia, Hakone, 1979, 1980Ti...

More Info

Logic Symposia, Hakone, 1979, 1980

US$4.99 US$50.00

Linear orderings

Title (user) : Linear orderingsTitle (google) : Pure...

More Info

Linear orderings
Total: 2691
-85%
Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Membership: none
US$4.99 US$33.00
1
0
11 Jul 2009
-92%
Computing natural language

Computing natural language

Membership: none
US$4.99 US$59.00
2
0
11 Jul 2009
-88%
An Introduction to Gödel's Theorems

An Introduction to Gödel's Theorems

Membership: none
US$4.99 US$40.00
0
0
11 Jul 2009
-89%
What is a Logical System?

What is a Logical System?

Membership: none
US$4.99 US$46.00
7
0
11 Jul 2009
-92%
Машины Тьюринга и рекурсивные функции

Машины Тьюринга и рекурсивные функции

Membership: none
US$4.99 US$65.00
0
0
11 Jul 2009
-85%
Sweet reason: A field guide to modern logic

Sweet reason: A field guide to modern logic

Membership: none
US$4.99 US$33.00
5
0
11 Jul 2009
-91%
A Course on Mathematical Logic

A Course on Mathematical Logic

Membership: none
US$4.99 US$57.00
5
0
11 Jul 2009
-79%
Mathematical logic and the foundations of mathematics

Mathematical logic and the foundations of mathematics

Membership: none
US$4.99 US$24.00
4
0
11 Jul 2009

Logic

in Mathematics-Logic

US$4.99 US$55.00
-91%
Logic

Logic

Membership: none
US$4.99 US$55.00
14
0
11 Jul 2009
-91%
Set theory: Boolean-valued models and independence proofs

Set theory: Boolean-valued models and independence proofs

Membership: none
US$4.99 US$54.00
0
0
11 Jul 2009
-76%
Development of Logic

Development of Logic

Membership: none
US$4.99 US$21.00
13
0
11 Jul 2009
-92%
Основы формальных логических языков: Учеб. пособие

Основы формальных логических языков: Учеб. пособие

Membership: none
US$4.99 US$61.00
0
0
11 Jul 2009
-91%
Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation

Membership: none
US$4.99 US$57.00
1
0
11 Jul 2009
-90%
Introduction to Neutrosophic Logic

Introduction to Neutrosophic Logic

Membership: none
US$4.99 US$49.00
9
0
11 Jul 2009
-84%
Reasoning Robots: The Art and Science of Programming Robotic Agents

Reasoning Robots: The Art and Science of Programming Robotic Agents

Membership: none
US$4.99 US$32.00
8
0
11 Jul 2009
-77%
Cylindric Algebras, Part II

Cylindric Algebras, Part II

Membership: none
US$4.99 US$22.00
6
0
11 Jul 2009
-92%
X-Ray Spectrometry: Recent Technological Advances

X-Ray Spectrometry: Recent Technological Advances

Membership: none
US$4.99 US$61.00
11
0
11 Jul 2009
-89%
Proofs and Types

Proofs and Types

Membership: none
US$4.99 US$46.00
6
0
11 Jul 2009
-91%
Sets and Classes: On the Work by Paul Bernays

Sets and Classes: On the Work by Paul Bernays

Membership: none
US$4.99 US$58.00
12
0
11 Jul 2009
-92%
Principia Mathematica

Principia Mathematica

Membership: none
US$4.99 US$64.00
3
0
11 Jul 2009
-87%
Predicative arithmetic

Predicative arithmetic

Membership: none
US$4.99 US$38.00
10
0
11 Jul 2009
-78%
Языки и исчисления

Языки и исчисления

Membership: none
US$4.99 US$23.00
4
0
11 Jul 2009
-83%
Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

Lectures in Logic and Set Theory. Volume 1: Mathematical Logic

Membership: none
US$4.99 US$29.00
5
0
11 Jul 2009
-80%
Handbook of the History of Logic. Volume 8: The Many Valued and Nonmonotonic Turn in Logic

Handbook of the History of Logic. Volume 8: The Many Valued and Nonmonotonic Turn in Logic

Membership: none
US$4.99 US$25.00
2
0
11 Jul 2009