"maml_mathematical logic" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Southeast asian conference on logic: Proceedings Singapore, 1981

Southeast Asian Conference on Logic (1981 Singapore), C. T. Chong, M. J. Wicks, C. T. Chong

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.07 Mb

#2

Logic, methodology and philosophy of science VIII: Proceedings Moscow, 1987

Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy) International Congress of Logic, Ivan Timofeevich Frolov, Jens Erik Fenstad, Risto Hilpinen, Risto Hilpinen

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

4.25 Mb

#3

Logic, methodology and philosophy of science IX: Proceedings Uppsala, 1991

Methodology, and Philosophy of Science (10th : 1995 : Florence, Italy) International Congress of Logic, Brian Skyrms, Dag Westerstahl, Dag Prawitz, B. Skyrms, D. Westerstahl

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

6.03 Mb

#4

Logic colloquium '85: Proceedings Orsay, 1985

Paris Logic Group

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.32 Mb

#5

MAml_Mathematical logic/

552.97 Mb

#6

MAml_Mathematical logic/

43.31 Mb

#7

Errata to A Modern Formal Logic Primer

Teller P.

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

26 Kb

#8

Introduction to mathematical logic

Elliott Mendelson

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.67 Mb

#9

A manual of intensional logic

Johan van Benthem

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.57 Mb

#10

Introduction to mathematical logic

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.63 Mb

#11

From Peirce to Skolem: A neglected chapter in the history of logic

Geraldine Brady

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.28 Mb

#12

Foundations without foundationalism: A case for second-order logic

Stewart Shapiro

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.79 Mb

#13

Handbook of mathematical logic

J. Barwise

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

8.76 Mb

#14

Logic and philosophy: A modern introduction

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.89 Mb

#15

Deductive logic

Warren Goldfarb

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.14 Mb

#16

Handbook of philosophical logic

Dov M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.96 Mb

#17

Truth, vagueness, and paradox: An essay on the logic of truth

Vann McGee

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.00 Mb

#18

Handbook of philosophical logic

D.M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.56 Mb

#19

The Logic Book

Merrie Bergmann, James Moor, Jack Nelson

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.93 Mb

#20

Logic colloquium '95: Proc. Haifa 1995

Johann A. Makowsky, Elena V. Ravve

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.14 Mb

#21

Boole's logic and probability: A critical exposition

Theodore Hailperin

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.58 Mb

#22

Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.

John N. Crossley

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.14 Mb

#23

Logic for computer science: foundations of automatic theorem proving

Jean H. Gallier

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.85 Mb

#24

Logics of time and computation

Robert Goldblatt

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.02 Mb

#25

Substructural logics

Peter Schroeder-Heister, Kosta Dosen

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.12 Mb

#26

Paraconsistency: The logical way to the inconsistent. Proceedings Sao Paolo

Carnielli/Conig

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

4.46 Mb

#27

Handbook of philosophical logic

Dov M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.99 Mb

#28

Logical foundations of proof complexity

Cook S., Nguyen P.

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.59 Mb

#29

Perspectives on the history of mathematical logic

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.51 Mb

#30

Logic colloquium '96: Proc. San Sebastian

Jesus M. Larrazabal, Daniel Lascar, Grigori Mints

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.97 Mb

#31

Handbook of philosophical logic

Dov M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.33 Mb

#32

Handbook of philosophical logic

Dov M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.92 Mb

#33

Solution Manual to A Modern Formal Logic Primer, Volume I

Taylor P.

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

479 Kb

#34

Bounded variable logics and counting: A study in finite models

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.55 Mb

#35

What is mathematical logic

C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

883 Kb

#36

Logic, semantics, metamathematics: Papers from 1923 to 1938

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

26.89 Mb

#37

Solution Manual to A Modern Formal Logic Primer

Taylor P.

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

724 Kb

#38

Handbook of philosophical logic

D.M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.55 Mb

#39

Handbook of philosophical logic

Dov M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.42 Mb

#40

Language in action: Categories, lambdas and dynamic logic

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.36 Mb

#41

Logic primer

Colin Allen, Michael Hand

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

584 Kb

#42

Handbook of philosophical logic

Dov M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.54 Mb

#43

Logic colloquium '90: Proc. Helsinki 1990

Juha M.R. Oikkonen, Jouko Väänänen

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.81 Mb

#44

Logic in algebraic form: Three languages and theories (no TOC)

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.34 Mb

#45

Handbook of philosophical logic

Dov M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.72 Mb

#46

Modal logic and process algebra: A bisimulation perspective

Alban Ponse, Maarten de Rijke, Yde Venema

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.25 Mb

#47

Intermediate logic

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.78 Mb

#48

From Frege to Goedel: A source book in mathematical logic, 1879-1931

Jean van Heijenoort

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

6.57 Mb

#49

Combinatory logic

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.38 Mb

#50

Symbolic logic: an introduction

Richmond H. Thomson

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.92 Mb

#51

Handbook of philosophical logic

Dov M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.78 Mb

#52

Model-theoretic logics

J. Barwise, S. Feferman, J. Baldwin

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

7.46 Mb

#53

Handbook of philosophical logic

Dov M. Gabbay, F. Guenthner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.52 Mb

#54

A modern formal logic primer: predicate theory

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.80 Mb

#55

Intensional and higher-order modal logic. With applications to Montague semantics

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

945 Kb

#56

A modern formal logic primer: sentence logic

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.07 Mb

#57

Mathematical logic in Latin America: Proceedings Santiago, 1978

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.84 Mb

#58

Non-classical logics, model theory and computability: Proceedings Campinas, 1976

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.78 Mb

#59

Mathematical logic and foundations of set theory: Proceedings Jerusalem, 1968

Yehosha Bar-Hillel

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1019 Kb

#60

An Algebraic Introduction to Mathematical Logic

D.W. Barnes, J.M. Mack

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.14 Mb

#61

Ancient formal logic

Vyacheslav L. Girko

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

846 Kb

#62

Logic colloquium '78: Proceedings Mons, 1978

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.90 Mb

#63

Logic, sets and functions

Daniel A Bonevac

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.03 Mb

#64

The Logic of Provability

George S. Boolos

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.66 Mb

#65

Logical frameworks for truth and abstraction: An axiomatic study

A. Cantini

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.67 Mb

#66

Logical syntax of language

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.60 Mb

#67

Type-Logical Semantics

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.10 Mb

#68

The Game of Logic

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

899 Kb

#69

Logic, methodology and philosophy of science VI: Proceedings Hannover, 1979

J.J. Cohen

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.60 Mb

#70

Models and computability: Invited papers from Logic Colloquium '97

S. Barry Cooper, John K. Truss

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.94 Mb

#71

Proceedings of the 7th and 8th Asian Logic Conferences

Rod Downey, Rod Downey, Qiu Yu Hui, Tung Shih Ping, Ding Decheng, Mariko Yasugi

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.84 Mb

#72

Logic colloquium '87: Proceedings Granada, 1987

H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.87 Mb

#73

Linear logic in computer science

Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.28 Mb

#74

Many-dimensional modal logics: Theory and applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

4.63 Mb

#75

Quantification in nonclassical logic.

Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

4.17 Mb

#76

Logic from Russell to Church, Volume 5

Dov M. Gabbay, John Woods

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

4.45 Mb

#77

Residuated lattices: An algebraic glimpse at substructural logics

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.25 Mb

#78

Logic colloquium 76: Proceedings Oxford, 1976

Gandy R.O., Hyland J.M.E. (eds.)

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

4.67 Mb

#79

Collected works of A.M.Turing. Mathematical logic

Gandy R.O., Yates C.E.M. (eds.)

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.28 Mb

#80

Logic colloquium '69: Proceedings Manchester, 1969

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.44 Mb

#81

Advances in linear logic

Jean-Yves Girard, Yves Lafont, Laurent Regnier

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.38 Mb

#82

Mathematical logic in Asia: Proceedings of the 9th Asian Logic Conference

R. Downey, S S Goncharov, H Ono

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.08 Mb

#83

Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.04 Mb

#84

Philosophy of logics

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.44 Mb

#85

PRINCIPLES OF MATHEMATICAL LOGIC. CHELSEA PUBL. 1950.

D & W ACKERMANN HILBERT

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.24 Mb

#86

Fundamentals of Mathematical Logic

Peter G. Hinman

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

6.61 Mb

#87

Fundamentals of mathematical logic

Peter G. Hinman

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.69 Mb

#88

Aspects of inductive logic (no TOC)

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.21 Mb

#89

Conference in mathematical logic - London '70

W. Hodges

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.28 Mb

#90

Categorical logic and type theory

B. Jacobs

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

4.63 Mb

#91

Proceedings of the Third Scandinavian Logic Symposium: Uppsala, 1973

Kanger S. (ed.)

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.16 Mb

#92

A structuralist theory of logic

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.37 Mb

#93

Tools and techniques in modal logic

M. Kracht

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.93 Mb

#94

Bounded arithmetic, propositional logic and complexity theory

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.00 Mb

#95

The problem of inductive logic: Proceedings London, 1965

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.70 Mb

#96

Logic colloquium '82: Proceedings Florence, 1982

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.58 Mb

#97

The logical systems of Lesniewski

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.77 Mb

#98

Logic colloquium '77: Proceedings Wroclaw, 1977

Lev D. Beklemishev

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.16 Mb

#99

A course in mathematical logic for mathematicians

Yu. I. Manin, Neal Koblitz, B. Zilber

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.00 Mb

#100

Logic, methodology and philosophy of science VII: Proceedings Salzburg, 1983

Ruth Barcan-Marcus, George J. W. Dorn, Paul Weingartner

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

4.59 Mb

Показаны далеко не все результаты, удовлетворяющие вашему запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.