Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Fundamental proof methods in computer science: a computer-based approach

Fundamental proof methods in computer science: a computer-based approach

Book Informaton
Fundamental proof methods in computer science: a computer-based approach

Author

Konstantine Arkoudas

Year of Publication

2017

Publisher

MIT Press

Pages

941

Language

en

ISBN

0262035537, 9780262035538

ARI Id

1669585181197

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 6 times.
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Mathematics Computer science Proof theory Computer science mathematics