Magers & Quinn Booksellers

Cancel

Filters

Selected

Dybjer, Peter

Condition

New

Used

Collectible

Availability

On Our Shelves

Ships from Warehouse

Format

Hardcover

Paperback

Audio Book

Other

Languages

English

Spanish

Italian

French

German

Portuguese

Danish

Chinese

Dutch

Latin

Price

Back

Dybjer, Peter

Filters

Sort by

Semantics and Logics of Computation

Pitts, Andrew M.

Dybjer, P.

Dybjer, Peter

Paperback

$76.56

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Nordström, Bengt

Smith, Jan

Dybjer, Peter

Paperback

$76.99

Types for Proofs and Programs: International Workshop, Types'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Coquand, Thierry

Nordström, Bengt

Dybjer, Peter

Paperback

$54.99

Applied Semantics: International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Pinto, Luis

Dybjer, Peter

Barthe, Gilles

Paperback

$54.99

Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings

Pitt, David H.

Rydeheard, David E.

Dybjer, Peter

Paperback

$54.99

Semantics and Logics of Computation

Dybjer, P.

Pitts, A.

Pitts, Andrew M.

Hardcover

$221.76

Zeitmanagement für Dummies: Wie man die 24 Stunden am Tag optimal nutzt

Peter, Peter

Paperback

$11.95

The Apocalypse of Peter: Christian Apocrypha Series

Peter

Paperback

$18.74

Knights Coloring Book For Boys: Medieval Knight Coloring Book for Kids and Adults (Large Print Edition)

Peter

Paperback

$10.44

Kawaii Panda Coloring Book: Stress Relief & Relaxation Coloring Page for Kids, Adorable and Fun Birthday Present for Boys and Girls (Large Print Edition)

Peter

Paperback

$10.44

Workout Journal: 100 Pages for Track Exercise, Reps, Weight, Sets, Measurements and Notes

Peter

Paperback

$9.49

Kriss Kross Puzzle Book +Word Search for Adults: 100 Interesting Classic Puzzles over 2000 Verified Words +30 Word Search Pages (Large Print Edition)

Peter

Paperback

$10.44

100 Large Print Sudoku Medium Vol 1: 9x9 Grid Format for Kids, Adults and Seniors with Brain Teasing Activity, Sized for Travel, Easy to Read (Large Print Edition)

Peter

Paperback

$9.49

100 Large Print Sudoku Medium Vol 2: 9x9 Grid Format for Kids, Adults and Seniors with Brain Teasing Activity, Sized for Travel, Easy to Read (Large Print Edition)

Peter

Paperback

$9.49

Noah's Ark Coloring Book for Kids: Christian Coloring Book for Children with Biblical Illustrations of the Most Memorable Scenes from the Old Testamen (Large Print Edition)

Peter

Paperback

$8.51

Bible Stories Book for Kids: Biblical Story With Animals And Scripture To Color For Christian Children Age 4-8 (Large Print Edition)

Peter

Paperback

$8.54

Mandala 11 Coloring Book: Stress Relieving Mandala Designs for Adults Relaxation (Large Print Edition)

Peter

Paperback

$10.44

Sport Cars Coloring Book for Kids: Easy and Simple Coloring Pages For Kids Ages 4-12 with cute Cars (Large Print Edition)

Peter

Paperback

$10.44

Large Sudoku 480 Easy #2: Easy Difficulty Perfect for Beginners (Large Print Edition)

Peter

Paperback

$11.39

Estilo de Caminar Libro de Colorear: Diseños fáciles de colorear para aliviar el estrés y relajarse: Libro para colorear de zapatos para niñas con pat (Large Print Edition)

Peter

Paperback

$10.44

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Dybjer, Peter

Semantics and Logics of Computation

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Types for Proofs and Programs: International Workshop, Types'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Applied Semantics: International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings

Semantics and Logics of Computation

Zeitmanagement für Dummies: Wie man die 24 Stunden am Tag optimal nutzt

The Apocalypse of Peter: Christian Apocrypha Series

Knights Coloring Book For Boys: Medieval Knight Coloring Book for Kids and Adults (Large Print Edition)

Kawaii Panda Coloring Book: Stress Relief & Relaxation Coloring Page for Kids, Adorable and Fun Birthday Present for Boys and Girls (Large Print Edition)

Workout Journal: 100 Pages for Track Exercise, Reps, Weight, Sets, Measurements and Notes

Kriss Kross Puzzle Book +Word Search for Adults: 100 Interesting Classic Puzzles over 2000 Verified Words +30 Word Search Pages (Large Print Edition)

100 Large Print Sudoku Medium Vol 1: 9x9 Grid Format for Kids, Adults and Seniors with Brain Teasing Activity, Sized for Travel, Easy to Read (Large Print Edition)

100 Large Print Sudoku Medium Vol 2: 9x9 Grid Format for Kids, Adults and Seniors with Brain Teasing Activity, Sized for Travel, Easy to Read (Large Print Edition)

Noah's Ark Coloring Book for Kids: Christian Coloring Book for Children with Biblical Illustrations of the Most Memorable Scenes from the Old Testamen (Large Print Edition)

Bible Stories Book for Kids: Biblical Story With Animals And Scripture To Color For Christian Children Age 4-8 (Large Print Edition)

Mandala 11 Coloring Book: Stress Relieving Mandala Designs for Adults Relaxation (Large Print Edition)

Sport Cars Coloring Book for Kids: Easy and Simple Coloring Pages For Kids Ages 4-12 with cute Cars (Large Print Edition)

Large Sudoku 480 Easy #2: Easy Difficulty Perfect for Beginners (Large Print Edition)

Estilo de Caminar Libro de Colorear: Diseños fáciles de colorear para aliviar el estrés y relajarse: Libro para colorear de zapatos para niñas con pat (Large Print Edition)

Loading

You have reached the end of the list.
Return to the top.

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Dybjer, Peter

Semantics and Logics of Computation

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Types for Proofs and Programs: International Workshop, Types'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Applied Semantics: International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings

Semantics and Logics of Computation

Zeitmanagement für Dummies: Wie man die 24 Stunden am Tag optimal nutzt

The Apocalypse of Peter: Christian Apocrypha Series

Knights Coloring Book For Boys: Medieval Knight Coloring Book for Kids and Adults (Large Print Edition)

Kawaii Panda Coloring Book: Stress Relief & Relaxation Coloring Page for Kids, Adorable and Fun Birthday Present for Boys and Girls (Large Print Edition)

Workout Journal: 100 Pages for Track Exercise, Reps, Weight, Sets, Measurements and Notes

Kriss Kross Puzzle Book +Word Search for Adults: 100 Interesting Classic Puzzles over 2000 Verified Words +30 Word Search Pages (Large Print Edition)

100 Large Print Sudoku Medium Vol 1: 9x9 Grid Format for Kids, Adults and Seniors with Brain Teasing Activity, Sized for Travel, Easy to Read (Large Print Edition)

100 Large Print Sudoku Medium Vol 2: 9x9 Grid Format for Kids, Adults and Seniors with Brain Teasing Activity, Sized for Travel, Easy to Read (Large Print Edition)

Noah's Ark Coloring Book for Kids: Christian Coloring Book for Children with Biblical Illustrations of the Most Memorable Scenes from the Old Testamen (Large Print Edition)

Bible Stories Book for Kids: Biblical Story With Animals And Scripture To Color For Christian Children Age 4-8 (Large Print Edition)

Mandala 11 Coloring Book: Stress Relieving Mandala Designs for Adults Relaxation (Large Print Edition)

Sport Cars Coloring Book for Kids: Easy and Simple Coloring Pages For Kids Ages 4-12 with cute Cars (Large Print Edition)

Large Sudoku 480 Easy #2: Easy Difficulty Perfect for Beginners (Large Print Edition)

Estilo de Caminar Libro de Colorear: Diseños fáciles de colorear para aliviar el estrés y relajarse: Libro para colorear de zapatos para niñas con pat (Large Print Edition)

Loading

You have reached the end of the list. Return to the top.

You have reached the end of the list.
Return to the top.