BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

First-Order Programming Theories
Stock photo: cover may vary

First-Order Programming Theories Hardback - 1991 - 1991st Edition

by Tamas Gergely; Laszlo Ury

Add to wish list

Reader reviews for First-Order Programming Theories

From the publisher

This book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new programming theories and logics systematically and to investigate and compare existing ones with respect to their expressive and proof-theoretic powers.

Details

  • Title First-Order Programming Theories
  • Author Tamas Gergely; Laszlo Ury
  • Binding Hardback
  • Edition number 1991st
  • Edition 1991
  • Pages 353
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1991-12-05
  • ISBN 9783540542773 / 3540542779
  • Weight 1.52 lbs (0.69 kg)
  • Dimensions 9.21 x 6.14 x 0.81 in (23.39 x 15.60 x 2.06 cm)
  • Category Computers - Languages / Programming
  • Library of Congress Catalogue Number 91027370
  • Dewey Decimal Code 005.1

More Copies for Sale

FIRST-ORDER PROGRAMMING THEORIES (MONOGRAPHS IN THEORETICAL COMPUTER SCIENCE. AN EATCS SERIES)
Stock photo: cover may vary

FIRST-ORDER PROGRAMMING THEORIES (MONOGRAPHS IN THEORETICAL COMPUTER SCIENCE. AN EATCS SERIES)

by TAMAS GERGELY LASZLO URY ,

  • New
  • Hardback
  • first
Condition
New
Edition
1St
Binding
Hardcover
ISBN 10 / ISBN 13
9783540542773 / 3540542779
Quantity available
1
Seller
Item price
A$88.18
A$21.68 Delivery to USA

Show details

Description:
Springer, 1991. 1St. Hardcover. New/New.
Add to wish list
Item price
A$88.18
A$21.68 Delivery to USA
First-Order Programming Theories (Monographs in Theoretical Computer Science. An EATCS Series, 24)
Stock photo: cover may vary

First-Order Programming Theories (Monographs in Theoretical Computer Science. An EATCS Series, 24)

by Gergely, Tamas

  • New
  • Hardback
Condition
New
Edition
1991
Binding
Hardcover
ISBN 10 / ISBN 13
9783540542773 / 3540542779
Quantity available
1
Seller
Item price
A$142.80
Free Delivery to USA

Show details

Description:
Springer, 1991-12-05. 1991. hardcover. New. 6.14x0.81x9.21. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$142.80
Free Delivery to USA
First-Order Programming Theories

First-Order Programming Theories

by Tamas Gergely

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540542773 / 3540542779
Quantity available
832
Seller
Item price
A$196.84
A$15.28 Delivery to USA

Show details

Description:
Hardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; N/A
Add to wish list
Item price
A$196.84
A$15.28 Delivery to USA
First-Order Programming Theories
Stock photo: cover may vary

First-Order Programming Theories

by Ury, Tamas Gergely; Laszlo,

  • Used
Condition
New
ISBN 10 / ISBN 13
9783540542773 / 3540542779
Quantity available
5
Seller
Item price
A$169.84
A$5.77 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$169.84
A$5.77 Delivery to USA
First-Order Programming Theories (Monographs in Theoretical Computer Science. An EATCS Series, 24)
Stock photo: cover may vary

First-Order Programming Theories (Monographs in Theoretical Computer Science. An EATCS Series, 24)

by Ury, Laszlo

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9783540542773 / 3540542779
Quantity available
1
Seller
Item price
A$175.63
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$175.63
Free Delivery to USA
First-Order Programming Theories
Stock photo: cover may vary

First-Order Programming Theories

by Ury, Tamas Gergely; Laszlo,

  • New
Condition
New
ISBN 10 / ISBN 13
9783540542773 / 3540542779
Quantity available
5
Seller
Item price
A$177.78
A$5.77 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$177.78
A$5.77 Delivery to USA
First-Order Programming Theories
Stock photo: cover may vary

First-Order Programming Theories

by Tamas Gergely Laszlo Ury

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540542773 / 3540542779
Quantity available
4
Seller
Item price
A$250.51
A$5.77 Delivery to USA

Show details

Description:
Springer , pp. 368 . Hardback. New.
Add to wish list
Item price
A$250.51
A$5.77 Delivery to USA