Axiomatising the logic of computer programming /

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /
Published: (2002)

On the shape of mathematical arguments /
by: Gasteren, A. J. M. van (Antonetta J. M.), 1952-
Published: (1990)

Understanding mathematical proof /
by: Taylor, John, 1957-, et al.
Published: (2018)

Compiling natural semantics /
by: Pettersson, Mikael
Published: (1999)

Proof theory : an introduction /
by: Pohlers, Wolfram
Published: (1989)

The Math Thought Mindset : Logic, Reasoning, and Proofs /
by: Burk, James L.
Published: (2026)

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979 /
Published: (1979)

Formal syntax and semantics of Java /
Published: (1999)

First-order dynamic logic /
by: Harel, David, 1950-
Published: (1979)

Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980 /
Published: (1980)

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings /
Published: (1990)

Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
Published: (1984)

A bridge to higher mathematics /
by: Deaconu, Valentin, et al.
Published: (2017)

An introduction to proof theory : normalization, cut-elimination, and consistency proofs /
by: Mancosu, Paolo, et al.
Published: (2021)

The Nuts and Bolts of Proofs An Introduction to Mathematical Proofs /
by: Cupillari, Antonella
Published: (2023)

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /
Published: (1982)

An accompaniment to higher mathematics /
by: Exner, George R.
Published: (1996)

Proof theory sequent calculi and related formalisms /
by: Bimbó, Katalin, 1963-
Published: (2015)

Journal of visual languages and computing.
Published: (2019)

Tracking reason : proof, consequence, and truth /
by: Azzouni, Jody
Published: (2006)

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

Book of Proof /
by: Hammack, Richard H.
Published: (2018)

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

An accompaniment to higher mathematics /
by: Exner, George R
Published: (1997)

The nuts and bolts of proofs : an introduction to mathematical proofs /
by: Cupillari, Antonella
Published: (2013)

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published: (1994)

Towards a formal description of Ada /
Published: (1980)

Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1995)

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
Published: (1990)

Algebra of proofs /
Published: (1978)

An Attribute grammar for the semantic analysis of ADA /
Published: (1982)

Conjecture and proof /
by: Laczkovich, Miklós
Published: (2001)

Logic in algebraic form : Three languages and theories /
by: Craig, William, 1918-
Published: (1974)

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings /
Published: (2001)

The story of Proof : logic and the History of Mathematics /
by: Stillwell, John
Published: (2022)

Arithmetic, proof theory, and computational complexity /
Published: (2023)