Formal Number Theory and Computability A Workbook

Main
Biography & Autobiography - Science, Mathematics & Technology
Formal Number Theory and Computability...

Formal Number Theory and Computability A Workbook

Alec Fisher

0 / 5.0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Biography & Autobiography - Science, Mathematics & Technology

Anno:

1982

Casa editrice:

Oxford Science Publications

Lingua:

english

Pagine:

204

ISBN 10:

0198531885

ISBN 13:

9780198531883

Collana:

Oxford Logic Guides

File:

PDF, 4.92 MB

IPFS:

,

english, 1982

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Christopher C. Leary — A Friendly Introduction to Mathematical Logic

James D. Carney — Introduction to Symbolic Logic

Schwichtenberg H. — Proof theory

Joel W. Robbin — Mathematical Logic: A First Course

S.C. Kleene — Introduction to Metamathematics

Kurt Gödel / Solomon Feferman et al. — Collected Works, Vol. I: Publications 1929-1936 (Oxford, 1986)

R. O. Gadny and C. E. M. Yates — Collected Works of Alan M. Turing, Volume 4: Mathematical Logic

Various authors — A Friendly Introduction to Mathematical Logic

Gödel's Theorem [An Incomplete Guide To Its Use And Abuse] — Gödel's Theorem [An Incomplete Guide To Its Use And Abuse]

Hirst H.P., Hirst J.L. — A primer for logic and proof

Hirst H.P., Hirst J.L. — A Primer for Logic and Proof

Wang H. — A survey of mathematical logic

Enderton H.B. — A mathematical introduction to logic

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

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Alec Fisher — Formal Number Theory and Computability: A Workbook

Yu. I. Manin — A Course in Mathematical Logic

Kurt Gödel — Kurt Gödel: Collected Works volume I

R.O. Gandy, C.E.M. Yates (eds.) — Collected works of A. M. Turing. Volume 4: Mathematical Logic

Hao Wang — A Survey of Mathematical Logic.

Mostowski A. — Foundational Studies: Selected works

Stewart Shapiro — Intensional mathematics

Gaisi Takeuti — Proof theory

Jean-Yves Girard — Proof Theory and Logical Complexity: Vol. I (Studies in Proof Theory)

Stephen Cole Kleene — Mathematical Logic

Raymond M. Smullyan — A Beginner's Guide to Mathematical Logic

Angelo Margaris — First Order Mathematical Logic

Raymond M. Smullyan — A Beginner's Guide to Mathematical Logic

Elliott Mendelson — Introduction to Mathematical Logic

Stuart Shanker — Gödel's Theorem in Focus

Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science

Petr Hájek (editor) — Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (Lecture Notes in Logic)

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Andrzej Mostowski — Foundational Studies, Selected Works Vol I

Petr Hajek — Metamathematics of Fuzzy Logic

Termini più frequenti