Items related to Logic and Structure

Van Dalen, Dirk Logic and Structure ISBN 13: 9781447145592

Logic and Structure - Softcover

Van Dalen, Dirk

 
9781447145592: Logic and Structure
Softcover
ISBN 10: 1447145593 ISBN 13: 9781447145592
Publisher: Springer, 2012

This specific ISBN edition is currently not available.

Synopsis

Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalization.- Gödel's theorem.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2012
Language
English
ISBN 10 
1447145593
ISBN 13 
9781447145592
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9780387128313: Logic and structure

Featured Edition

ISBN 10:  038712831X ISBN 13:  9780387128313
Publisher: Springer-Verlag, 1983
Hardcover