Proofs and types by Girard, Jean-Yves fromCambridge tracts in theoretical computer science 0 Type: Book
Proofs and types by Taylor, Paul, Girard, Jean-Yves, Lafont, Yves fromCambridge tracts in theoretical computer science 0 Type: Book
Proofs and types by Girard, Jean-Yves fromCambridge tracts in theoretical computer science 0 Type: Book
Proofs and types by Girard, Jean-Yves fromCambridge tracts in theoretical computer science 0 Type: Book
Proofs and types by Girard, Jean-Yves fromCambridge tracts in theoretical computer science 0 Type: Book
Concurrency verification: introduction to compositional and noncompositiona… by Roever, W. P. de, (Willem Paul) fromCambridge tracts in theoretical computer science 0 Type: Book
Concurrency verification: an introduction to state-based methods by Roever, W.-P. de fromCambridge tracts in theoretical computer science 0 Type: Book
Concurrency verification: introduction to compositional and noncompositiona… by Roever, Willem-Paul de fromCambridge tracts in theoretical computer science 0 Type: Book
Arithmetic, proof theory, and computational complexity by Clote, Peter, Krajícek, Jan fromOxford logic guides 0 Type: Book
Arithmetic, proof theory and computational complexity by Clote, Peter, Krajícek, Jan fromOxford logic guides 0 Type: Book
Arithmetic, proof theory and computational complexity by Clote, Peter, Krajícek, Jan fromOxford logic guides 0 Type: Book
Arithmetic, proof theory, and computational complexity by Clote, Peter, Krajícek, Jan fromOxford logic guides 0 Type: Book
Arithmetic, proof theory, and computational complexity by Takeuti, Gaisi fromOxford logic guides 0 Type: Book
Three views of logic: mathematics, philosophy, and computer science by Loveland, Donald W., Hodel, Richard E., Sterrett, S. G. 0 Type: Book
Three views of logic: mathematics, philosophy, and computer science by Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G. 0 Type: Book
Three views of logic: mathematics, philosophy, and computer science by Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G. 0 Type: Book
Introduction to advanced mathematics: a guide to understanding proofs by Campbell, Connie M. 0 Type: Book
Introduction to advanced mathematics: a guide to understanding proofs by Campbell, Connie M. 0 Type: Book
