A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

AvShawn Hedman

Inbunden, Engelska, 2004

Del i serien Oxford Texts in Logic

3 714 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

1 790 kr

Produktinformation

Utgivningsdatum:2004-07-08
Mått:173 x 248 x 30 mm
Vikt:894 g
Format:Inbunden
Språk:Engelska
Serie:Oxford Texts in Logic
Antal sidor:452
Förlag:OUP OXFORD
ISBN:9780198529804

Utforska kategorier

Recensioner i media

'a broad introduction to Mathematical Logic for students at the masters level with some mathematical maturitu.'

Innehållsförteckning

Preliminaries ; 1. Propositional Logic ; 2. Structures and First-Order Logic ; 3. Proof Theory ; 4. Properties of First-Order Logic ; 5. First-Order Theories ; 6. Models of Countable Theories ; 7. Computability and Complexity ; 8. The Incompleteness Theorems ; 9. Beyond First-Order Logic ; 10. Finite Model Theory ; Bibliography ; Index

Mer från samma serie

Proof and Disproof in Formal Logic

Richard Bornat

Inbunden, 2005

1 267 kr

Proof and Disproof in Formal Logic

Richard Bornat

Häftad, 2005

984 kr

Mathematical Logic

Ian Chiswell, Wilfrid Hodges

Inbunden, 2007

3 243 kr

Mathematical Logic

Ian Chiswell, Wilfrid Hodges

Häftad, 2007

1 468 kr

Du kanske också är intresserad av

Plåtbyggnad. Särtryck ur AMA Hus 21

Svensk Byggtjänst

Häftad, 2022

3 714 kr

Dynamic Spin Chemistry

Nagakura, Azumi, Saburo Nagakura, Hisahary Hayashi, Tohru Azumi

Inbunden, 1999

3 714 kr

Advances in Chemical Physics, Volume 68

Stuart A. Rice, Ilya Prigogine

E-bok

2009

3 714 kr

Modeling, Analysis, and Control of Dynamic Systems

William J. Palm III

Inbunden, 1999

3 714 kr

Quantum Theory, Black Holes and Inflation

Ian G. Moss

Inbunden, 1996

3 714 kr

Race in American Film

Daniel Bernardi, Michael Green

E-bok

2017

3 714 kr

Guns in American Society

Jaclyn Schildkraut, Gregg Lee Carter

E-bok

2022

3 714 kr

Evolution of Size Effects in Chemical Dynamics, Volume 70, Part 2

Stuart A. Rice

E-bok

2009

3 714 kr

Annelida Basal Groups and Pleistoannelida, Sedentaria I

Günter Purschke, Markus Böggemann, Andreas Schmidt-Rhaesa, Wilfried Westheide

Inbunden, 2019

3 714 kr

Basic Inorganic Chemistry

F. Albert Cotton, Geoffrey Wilkinson, Paul L. Gaus

Inbunden, 1995

3 714 kr

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

AvShawn Hedman

Inbunden, Engelska, 2004

Del i serien Oxford Texts in Logic

3 714 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Häftad

1 790 kr

Produktinformation

Utgivningsdatum:2004-07-08
Mått:173 x 248 x 30 mm
Vikt:894 g
Format:Inbunden
Språk:Engelska
Serie:Oxford Texts in Logic
Antal sidor:452
Förlag:OUP OXFORD
ISBN:9780198529804

Utforska kategorier

Recensioner i media

'a broad introduction to Mathematical Logic for students at the masters level with some mathematical maturitu.'

Innehållsförteckning

Preliminaries ; 1. Propositional Logic ; 2. Structures and First-Order Logic ; 3. Proof Theory ; 4. Properties of First-Order Logic ; 5. First-Order Theories ; 6. Models of Countable Theories ; 7. Computability and Complexity ; 8. The Incompleteness Theorems ; 9. Beyond First-Order Logic ; 10. Finite Model Theory ; Bibliography ; Index