KOBV Portal

Online Resource

Tableau Systems for First Order Number Theory and Certain Higher Order Theories (1975)

Toledo, Sue [Verfasser]

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV041962499

Format: 1 Online-Ressource

ISBN: 9783540071495

Series Statement: Lecture notes in mathematics 447

Additional Edition: Erscheint auch als Druckausgabe ISBN 978-3-540-37442-8

Language: English

Keywords: Zahlentheorie ; Mathematische Logik

DOI: 10.1007/BFb0062936

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

Tableau systems for first order number theory and certain higher order theories / (1975)

Toledo, Sue

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV001957166

Format: 339 S.

ISBN: 3-540-07149-0 , 0-387-07149-0

Series Statement: Lecture notes in mathematics 447

Language: English

Subjects: Mathematics , Philosophy

RVK:

CC 2600

RVK:

SI 850

Keywords: Zahlentheorie ; Zahlentheorie ; Mathematische Logik ; Tableau-Systeme ; Tableau-Systeme

URL: Cover

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

FU Berlin

UB Potsdam

Online Resource

Tableau Systems for First Order Number Theory and Certain Higher Order Theories (1975)

Toledo, Sue. ; SpringerLink 〈Online service〉

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almahu_9947921492002882

Format: IV, 348 p. , online resource.

ISBN: 9783540374428

Series Statement: Lecture Notes in Mathematics, 447

Note: First order number theory -- Second order logic -- Other higher order systems due to Schütte.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540071495

Language: English

Subjects: Mathematics , Philosophy

RVK:

SI 850

RVK:

CC 2600

DOI: 10.1007/BFb0062936

URL: http://dx.doi.org/10.1007/BFb0062936

URL: Volltext (lizenzpflichtig)

URL: Volltext (Deutschlandweit zugänglich)

URL: Cover

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

HU Berlin

UB Potsdam

Online Resource

Tableau Systems for First Order Number Theory and Certain Higher Order Theories (1975)

Toledo, S.A.

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almafu_9959185786802883

Format: 1 online resource (IV, 348 p.)

Edition: 1st ed. 1975.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-37442-6

Series Statement: Lecture Notes in Mathematics, 447

Note: Bibliographic Level Mode of Issuance: Monograph , First order number theory -- Second order logic -- Other higher order systems due to Schütte. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-07149-0

Language: English

DOI: 10.1007/BFb0062936

URL: http://dx.doi.org/10.1007/BFb0062936

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

FU Berlin

Charité

Book

Tableau systems for first order number theory and certain higher order theories (1975)

Toledo, Sue [Verfasser]

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV001957166

Format: 339 S.

ISBN: 3540071490 , 0387071490

Series Statement: Lecture notes in mathematics 447

Language: English

Subjects: Mathematics , Philosophy

RVK:

CC 2600

RVK:

SI 850

Keywords: Zahlentheorie ; Tableau-Systeme ; Zahlentheorie ; Mathematische Logik ; Tableau-Systeme

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Online Resource

Tableau Systems for First Order Number Theory and Certain Higher Order Theories (1975)

Toledo, S.A.

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

edoccha_9959185786802883

Format: 1 online resource (IV, 348 p.)

Edition: 1st ed. 1975.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-37442-6

Series Statement: Lecture Notes in Mathematics, 447

Note: Bibliographic Level Mode of Issuance: Monograph , First order number theory -- Second order logic -- Other higher order systems due to Schütte. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-07149-0

Language: English

DOI: 10.1007/BFb0062936

URL: http://dx.doi.org/10.1007/BFb0062936

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

Charité

Online Resource

Tableau Systems for First Order Number Theory and Certain Higher Order Theories (1975)

Toledo, S.A.

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

edocfu_9959185786802883

Format: 1 online resource (IV, 348 p.)

Edition: 1st ed. 1975.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-37442-6

Series Statement: Lecture Notes in Mathematics, 447

Note: Bibliographic Level Mode of Issuance: Monograph , First order number theory -- Second order logic -- Other higher order systems due to Schütte. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-07149-0

Language: English

DOI: 10.1007/BFb0062936

URL: http://dx.doi.org/10.1007/BFb0062936

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

FU Berlin

hits 1 - 7 | 7 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg