A mathematical introduction to logic

Main
Mathematics
A mathematical introduction to logic

A mathematical introduction to logic

Enderton H.B.

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Տարի:

2001

Հրատարակում:

2

Հրատարակչություն:

Harcourt

Լեզու:

english

Էջեր:

326

ISBN 10:

0122384520

ISBN 13:

9780122384523

Ֆայլ:

DJVU, 3.45 MB

IPFS:

,

english, 2001

Կարդալ Առցանց

Ներբեռնել (djvu, 3.45 MB)

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Christopher C. Leary — A Friendly Introduction to Mathematical Logic

Jaakko Hintikka (editor) — The Philosophy of Mathematics (Readings in Philosophy)

Putnam Hilary — Decidability and Essential Undecidability

Ershov Yu. L., Palyutin E. A. — Mathematical logic

Joel W. Robbin — Mathematical Logic: A First Course

S.C. Kleene — Introduction to Metamathematics

Yu. L. Ershov, E. A. Palyutin — Mathematical Logic

Joseph R. Shoenfield — Mathematical Logic

unknown — Handbook of Philosophical Logic

Various authors — A Friendly Introduction to Mathematical Logic

Shoenfield J.R. — Mathematical logic

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

Leary C.C. — A friendly introduction to mathematical logic

Jaakko Hintikka — The philosophy of mathematics

Geoffrey Hunter — Metalogic

Geoffrey Hunter — Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Yu. I. Manin — A Course in Mathematical Logic

H.-D. Ebbinghaus, J. Flum, W. Thomas — Mathematical Logic

G. Lolli, G. Longo, A. Marcja — Logic Colloquium '82: Proceedings Florence, 1982

Samuel R. Buss (Editor) — Handbook of Proof Theory

Martin Davis — The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions

Raymond M. Smullyan — The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs

Hunter G. — Metalogic: An introduction to the metatheory of standard first order logic

S. W. P. Steen — Mathematical Logic with Special Reference to the Natural Numbers

S. W. P. Steen — Mathematical logic with special reference to natural numbers

R. E. Davis — Truth, deduction, and computation: logic and semantics for computer science

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic

Robert S. Wolf — A Tour Through Mathematical Logic

Joseph R. Shoenfield — Mathematical Logic

Christopher C. Leary, Lars Kristiansen — A Friendly Introduction to Mathematical Logic

Christopher C. Leary, Lars Kristiansen — A Friendly Introduction to Mathematical Logic

David Marker — An Invitation to Mathematical Logic

Daniel Cunningham — Mathematical Logic: An Introduction

Daniel Cunningham — Mathematical Logic: An Introduction

Dov M. Gabbay, Franz Guenthner — Handbook of Philosophical Logic, vol. 1

Հիմնական արտահայտություններ